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 |
