FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

by EckehardSchnieder (Editor), Geza Tarnai (Editor)

New
Hardcover
2011
$282.96

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools.

Synopsis

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools.

$282.96

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 268
Edition: 1st Edition.
Publisher: Springer
Published: 23 Feb 2011
ISBN 10: 3642142605
ISBN 13: 9783642142604

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

New

$282.96

Synopsis

$282.96

More Information