Real-Time Systems: Formal Specification and Automatic Verification

by Ernst-RüdigerOlderog (Author), HenningDierks (Author)

New
Hardcover
2008
$110.00

Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

Synopsis

Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

$110.00

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 344
Edition: 1
Publisher: Cambridge University Press
Published: 11 Sep 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337

Real-Time Systems: Formal Specification and Automatic Verification

New

$110.00

Synopsis

$110.00

More Information