Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Event name
Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Start date
12-12-2012
End date
13-12-2012
Location
Braunschweig
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Volcic, Mark ; Blieberger, Johann ; Schöbel, Andreas | Kronecker Algebra based Travel Time Analysis for Railway Systems | Konferenzbeitrag Inproceedings  | 2012 |