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): 2004

Pages: 152-166

DOI: 10.1007/978-3-540-30206-3_12

SO-VID: bf2b294f-7d13-482a-b56b-ab62133d80cd

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 92

Statistical Model Checking for Cyber-Physical Systems
Authors: Edmund M. Clarke, Paolo Zuliani
Systems of Systems Engineering
Authors: Jim Woodcock, John Fitzgerald, Peter Larsen …
Efficient Robust Monitoring for STL
Authors: Alexandre Donzé, Thomas Ferrère, Oded Maler

See all cited by

Monitoring Temporal Properties of Continuous Signals

Read this book at