| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems | Taschenbuch | 978-3-642-42716-9 (3-642-42716-2) | 2014 | Eckehard Schnieder |
| FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems | Gebunden | 978-3-642-14260-4 (3-642-14260-5) | 2011 | " |