Verification of a Control System built using Remote Redundancy by means of Timed Automata and State Space Exploration
In: Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance / Müller-Clostermann, Bruno; Echtle, Klaus; Rathgeb, Erwin P. (Hrsg.). - 15th International GI/ITG Conference, MMB&DFT, March 15-17, 2010, Essen, Germany - Berlin: Springer, 2010, S. 8 - 23
2010Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Wirtschaftswissenschaften
Titel in Englisch:
Verification of a Control System built using Remote Redundancy by means of Timed Automata and State Space Exploration
Autor*in:
Scopus ID
Sprache des Textes:
Englisch