Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
 
Publisher Verlag
Inst. f. Verkehrssicherheit und Automatisierungstechnik
 

Publications Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Volcic, Mark ; Blieberger, Johann ; Schöbel, Andreas Kronecker Algebra based Travel Time Analysis for Railway SystemsKonferenzbeitrag Inproceedings 2012