Forms/format 2010
Subtitle: Formal Methods for Automation and Safety in Railway and Automotive Systems
Publisher: Springer Berlin / Heidelberg
Published: 2014
Language: eng
Number of pages: 257
ISBN-13: 9783642427169
Subjects: Transportation, data processing