Echtle, Klaus; Kimmeskamp, Thorsten:
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:
Echtle, KlausUDE
LSF ID
5086
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Kimmeskamp, ThorstenUDE
LSF ID
12259
Sonstiges
der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Englisch