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

Data availability:

Comments

Comment on this book

Cited by 4

Discrete-Time Rewards Model-Checked
Authors: Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
A Brief Overview of PVS
Authors: Sam Owre, Natarajan Shankar
Biomodel Engineering – From Structure to Behavior
Authors: Rainer Breitling, Robin A. Donaldson, David R. Gilbert …

See all cited by

Model checking

Read this book at

Related collections

Business Model Innovation in engineering

Comments

Comment on this book

Similar content 1,765

Cited by 4