FORMS/FORMAT 2010
Subtitle: Formal Methods for Automation and Safety in Railway and Automotive Systems
Publisher: Springer
Published: Feb 17, 2011
Format: paperback
Number of pages: 272
ISBN-13: 9783642142628
Notes: Source title: FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems