FORMS/FORMAT 2010
Subtitle: formal methods for automation and safety in railway and automotive systems
By: Eckehard Schnieder, Géza Tarnai, editors
Contributors: Schnieder, Eckehard; Tarnai, Géza
Publisher: Springer
Published: 2011
Place of publication: Heidelberg; New York
Language: eng
Number of pages: 256
ISBN-13: 9783642142604
Subjects: Safety measures; Transportation; Data processing; Congresses; Formal methods (Computer science); System safety
Notes: Includes bibliographical references and author index.