Cargando…

The automatic analysis of formal real-time system specifications

Detalles Bibliográficos
Autor principal:	Quirk, W J
Lenguaje:	eng
Publicado:	1978
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/120196

Ejemplares similares

The formal specification of the requirements of complex real-time systems
por: Quirk, W J, et al.
Publicado: (1977)

Strategies for real-time system specification
por: Hatley, Derek J, et al.
Publicado: (1988)

The real-time specification for Java
por: Bollella, Gregory
Publicado: (2000)

PLC code generation based on a formal specification language
por: Darvas, Daniel, et al.
Publicado: (2017)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Formal system verification: state-of the-art and future trends
por: Drechsler, Rolf
Publicado: (2017)

Real-Time UML: Advances in The UML for Real-Time Systems
por: Douglass, Bruce Powel
Publicado: (2004)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

Real-time systems design and analysis: an engineer's handbook
por: Laplante, Phillip A
Publicado: (1993)

IFIP Working Conference on Theoretical and Formal Aspects of Information Systems
por: Bubenko, Janis, et al.
Publicado: (1985)

Automatic modeling and fault diagnosis of timed concurrent discrete event systems
por: Schneider, Stefan
Publicado: (2015)

Real-time embedded systems
por: Wang, Jiacun
Publicado: (2011)

Advances in real-time systems
por: Ramamritham, Krithi, et al.
Publicado: (1993)

Structured development for real-time systems
por: Ward, Paul T, et al.
Publicado: (1985)

Structured development for real-time systems
por: Ward, Paul T, et al.
Publicado: (1986)

Structured development for real-time systems
por: Ward, Paul T, et al.
Publicado: (1985)

Real-time operating systems at CERN
por: Blake, J, et al.
Publicado: (1996)

Real-time design patterns: robust scalable architecture for real-time systems
por: Douglass, Bruce Powel
Publicado: (2002)

Real-time agility: the harmony method for real-time and embedded systems development
por: Douglass, Bruce Powel
Publicado: (2009)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

IFIP Working Conference on Formal Models and Practical Tools for Information Systems Design
por: Schneider, H J
Publicado: (1979)

A formal development and validation methodology applied to agent- based systems
por: Di Marzo-Serugendo, G
Publicado: (2001)

Automatentheorie und formale Sprachen
por: Hotz, Günter, et al.
Publicado: (1968)

Basics of real-time operating systems
por: Kemp, D
Publicado: (1992)

Interdisciplinary Conference in the Formal Aspects of Cognitive Processes
por: Storer, Thomas, et al.
Publicado: (1975)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
por: Darvas, Daniel
Publicado: (2017)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

Automatic syntactic analysis
por: Foster, John Michael
Publicado: (1970)

Real-time UML workshop for embedded systems
por: Douglass, Bruce Powel
Publicado: (2014)

Real-time systems: investigating industrial practice
por: Pyle, Ian C, et al.
Publicado: (1993)

Real-time expert systems computer architecture
por: Hodson, RF
Publicado: (2018)

The complete edition - software engineering for real-time systems: a software engineering perspective toward designing real-time systems
por: Cooling, Jim
Publicado: (2019)

IFIP Working Conference on Formal Description of Programming Concepts
por: Neuhold, Erich J
Publicado: (1978)

Modeling and analysis of real-time and embedded systems with UML and MARTE: developing cyber-physical systems
por: Selic, Bran, et al.
Publicado: (2013)

Cannot write session to /tmp/vufind_sessions/sess_g1hqsbu92umfqft3mok0bn3hhl