Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems

CímTool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems
Közlemény típusaConference Paper
Kiadás éve2007
SzerzőkMajzik, I., Domokos, P., and Magyar, M.
SzerkesztőSchnieder, E., and Tarnai, G.
Konferencia neveProc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Kiadás dátuma2007
KiadóGesamtzentrum für Verkehr Braunschweig e.V.
URLhttp://mycite.omikk.bme.hu/doc/16354.pdf