Specification and verification of concurrent systems in CESAR

other

Author(s): J. P. Queille , J. Sifakis

Publication date (Online): May 27 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Author and book information

Book Chapter

Publication date (Print): 1982

Publication date (Online): May 27 2005

Pages: 337-351

DOI: 10.1007/3-540-11494-7_22

SO-VID: 78ee0078-11d1-40f8-bf48-62cfe52116cb

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 93

Design of embedded systems: formal models, validation, and synthesis
Authors: A. Sangiovanni-Vincentelli, E.A. Lee, L Lavagno …
Efficient Robust Monitoring for STL
Authors: Alexandre Donzé, Thomas Ferrère, Oded Maler
Verifying parameterized networks using abstraction and regular languages
Authors: E. Clarke, O. Grumberg, S. Jha

See all cited by