Modeling and verification of real-time systems formalisms and software tools

Modeling and verification of real-time systems formalisms and software tools

Saved in:

Bibliographic Details
Other Authors:	Navet, Nicolas, Merz, Stephan
Format:	Unknown
Published:	London John Wiley & Sons 2008
Subjects:	Real-time data processing Computer software > Verification Formal methods (Computer science)
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of reactive systems formal methods and algorithms
by: Schneider, Klaus 1967-
Published: (2004)

Compositional verification of concurrent and real-time systems
by: Juan, Eric Y. T.
Published: (2002)

Systems and software verification model-checking techniques and tools
Published: (2001)

Program verification
by: Francez, Nissim
Published: (1992)

Real-time systems and software
by: Shaw, Alan C. 1937-
Published: (2001)

Program verification fundamental issues in computer science
Published: (1993)

Real-time software techniques
by: Heath, Walter S. 1940-
Published: (1991)

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Software verification and validation realistic project approaches
by: Deutsch, Michael S
Published: (1982)

Software design for real-time systems
by: Cooling, J. E
Published: (1991)

Software design for real-time systems
by: Cooling, J. E
Published: (1990)

Verification of object-oriented software the KeY approach
Published: (2007)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R

Independent verification and validation a life cycle engineering process for quality software
by: Lewis, Robert O. 1938-
Published: (1992)

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

Software engineering for real-time systems
by: Cooling, J. E.
Published: (2003)

Real-time multicomputer software systems
by: Stein, Richard Marlon 1961-
Published: (1992)

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

Verification and validation of rule-based expert systems
by: Smith, Suzanne 1953-
Published: (1993)

Real time systems
by: Krishna, C. M
Published: (1997)

Real-time design patterns robust sclable architecture for real-time systems
by: Douglas, Bruce Powel
Published: (2003)

Principles of the Spin model checker
by: Ben-Ari, M.
Published: (2008)

Real-time systems modeling, design, and applications
Published: (2007)

Real-Time systems
by: Liu,Jane W. S.
Published: (2000)

Formal methods for real-time computing
Published: (1996)

Rigorous software development an introduction to program verification
Published: (2011)

Foundations of real-time computing formal specifications and methods
Published: (1991)

Real-time systems and programming languages Ada 95, real-time java and real-time POSIX
by: Burns, Alan
Published: (2001)

Real-time systems investigating industrial practice
Published: (1993)

Advances in real-time systems
Published: (1995)

Real-time computer systems
by: Freedman, A. L
Published: (1977)

Advances in real-time systems
Published: (1993)

Real-time systems and their programming languages
by: Burns, Alan
Published: (1990)

Formal techniques in real-time and fault-tolerant systems
Published: (1993)

Developing real-time embedded software in a market driven company
by: Ellison, Karen S. 1947-
Published: (1994)

Formal models of agents ESPRIT project modelage final workshop selected papers
Published: (1999)

Neural and concurrent real-time systems the sixth generation
by: Soucek, Branko
Published: (1989)

Developing real-time systems a practical introduction
by: Evesham, David
Published: (1990)

Design of real-time computer systems
by: Martin, James 1933-
Published: (1967)

Objectifying real-time systems
by: Ellis, John R
Published: (1994)