Formal Methods for Automation and Safety in Railway and Automotive Systems
Book title Buchtitel
Formal Methods for Automation and Safety in Railway and Automotive Systems
Editor Herausgeber_in
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Maly, Thomas ; Antova, Maria ; Schöbel, Andreas ; Tarnai, Géza ; Schnieder, Eckehard | Functional Chain Analysis for Monitoring Train Fault States | Konferenzbeitrag Inproceedings | 2008 |