Timed Automata: Semantics, Algorithms and Tools

other

Author(s): Johan Bengtsson , Wang Yi

Publication date (Print): 2004

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

Pages: 87-124

DOI: 10.1007/978-3-540-27755-2_3

SO-VID: 167abdd5-64af-41ed-8de2-d88e135e7546

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 51

MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
Authors: Didac Iglesia, Danny Weyns
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
Authors: Patricia Bouyer, Francois Laroussinie, Pierre-Alain Reynier
Modeling Geographic Behavior in Riotous Crowds
Authors: Aaron McDaniel, Paul M. Torrens

See all cited by