Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems
Cím | Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems |
Közlemény típusa | Conference Paper |
Kiadás éve | 2007 |
Szerzők | Majzik, I., Domokos, P., and Magyar, M. |
Szerkesztő | Schnieder, E., and Tarnai, G. |
Konferencia neve | Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems |
Kiadás dátuma | 2007 |
Kiadó | Gesamtzentrum für Verkehr Braunschweig e.V. |
URL | http://mycite.omikk.bme.hu/doc/16354.pdf |