Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems
| Title | Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Majzik, I., Domokos, P., and Magyar, M. |
| Editor | Schnieder, E., and Tarnai, G. |
| Conference Name | Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems |
| Date Published | 2007 |
| Publisher | Gesamtzentrum für Verkehr Braunschweig e.V. |
| URL | http://mycite.omikk.bme.hu/doc/16354.pdf |
