Forms/format 2010
Subtitle: Formal Methods for Automation and Safety in Railway and Automotive Systems
Publisher: Springer
Published: 2011
Language: eng
Number of pages: 257
ISBN-13: 9783642142611
Subjects: Transportation; System design; Systems engineering