Modeling and Verification of Real-time Systems

by NicolasNavet (Editor), StephanMerz (Editor)

New
Hardcover
2008
$251.51

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.

Synopsis

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.

$251.51

Quantity

2 in stock

More Information

Format: Hardcover
Pages: 448
Edition: 1
Publisher: Wiley-Blackwell
Published: 10 Mar 2008
ISBN 10: 1848210132
ISBN 13: 9781848210134

Modeling and Verification of Real-time Systems

New

$251.51

Synopsis

$251.51

More Information