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: 200-236

DOI: 10.1007/978-3-540-30080-9_7

SO-VID: 57a866d5-1755-489a-8790-3eb370069db8

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 81

Uppaal SMC tutorial
Authors: Alexandre David, Danny Poulsen, Marius Mikučionis …
Challenges and Research Directions in Medical Cyber–Physical Systems
Authors: Sanjian Chen, Insup Lee, K. Venkatasubramanian …
Cyber–Physical Modeling of Implantable Cardiac Medical Devices
Authors: R. Mangharam, M Pajic, Zhihao Jiang

See all cited by

A Tutorial on Uppaal

Read this book at