There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 22

Record: found
Abstract: not found
Article: not found

The model checker SPIN

G.J. Holzmann (1997)

0 comments Cited 226 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi (1997)

0 comments Cited 47 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Synthesizing Monitors for Safety Properties

Klaus Havelund, Grigore Rosu (2002)

0 comments Cited 39 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 125-139

DOI: 10.1007/978-3-540-31848-4_9

SO-VID: 88a4748c-5e02-4716-838e-579bcfec5429

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

Testing Real-Time Systems Using UPPAAL
Authors: Anders Hessel, Kim G. Larsen, Marius Mikučionis …
Conformance testing for real-time systems
Authors: Stavros Tripakis, Moez Krichen

See all cited by

Specifying and Generating Test Cases Using Observer Automata

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 22

The model checker SPIN

Uppaal in a nutshell

Synthesizing Monitors for Safety Properties

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,868

Cited by 2