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

Industrial use of formal methods : formal verification /
Published: (2012)

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /
Published: (2006)

The testability of distributed real-time systems /
by: Schütz, Werner, 1961-
Published: (1993)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)

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

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

Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)

Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)

Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
Published: (2007)

Theories and experiences for real-time system development /
by: Rus, Teodor
Published: (1994)

Software validation, verification, testing, and documentation /
Published: (1986)

Real-time design patterns : robust scalable architecture for real-time systems /
by: Douglass, Bruce Powel
Published: (2003)

Advances in real-time systems /
Published: (1995)

Real-time systems : scheduling, analysis, and verification /
by: Cheng, Albert M. K.
Published: (2002)

Model-driven engineering for distributed real-time systems : MARTE modeling, model transformations and their usages /
Published: (2010)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

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

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

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)

Temporal verification of reactive systems : safety /
by: Manna, Zohar
Published: (1995)

Real-time search for learning autonomous agents /
by: Ishida, Toru
Published: (1997)

The testability of distributed real-time systems /
by: Schütz, Werner, 1961-
Published: (1993)

Software specification and design : a disciplined approach for real-time systems /
by: Shumate, Kenneth C.
Published: (1992)

Real-time systems : formal specification and automatic verification /
by: Olderog, E.-R
Published: (2008)

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
Published: (2005)

Verification and validation of modern software-intensive systems /
by: Schulmeyer, G. Gordon
Published: (2000)

Real time UML : advances in the UML for real-time systems /
by: Douglass, Bruce Powel
Published: (2004)

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada /
Published: (1990)

Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Real-time software /
Published: (1983)

Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)

Real-time UML workshop for embedded systems /
by: Douglass, Bruce Powel
Published: (2014)

Real time UML workshop for embedded systems /
by: Douglass, Bruce Powel
Published: (2007)