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 in fault tolerance : 15th international GI/ITG conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010 ; proceedings : (Lecture notes in computer science ; 5987) / Müller-Clostermann, Bruno; Echtle, Klaus; Rathgeb, Erwin P. (Hrsg.). - Berlin, Heidelberg: Springer, 2010, S. 8 - 23
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Fakultät für Wirtschaftswissenschaften
Titel:
Verification of a Control System built using Remote Redundancy by means of Timed Automata and State Space Exploration
Autor(in):
Echtle, Klaus im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Kimmeskamp, Thorsten im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2010
Erschienen in:
Measurement, modelling and evaluation of computing systems and dependability in fault tolerance : 15th international GI/ITG conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010 ; proceedings : (Lecture notes in computer science ; 5987) / Müller-Clostermann, Bruno; Echtle, Klaus; Rathgeb, Erwin P. (Hrsg.). - Berlin, Heidelberg: Springer, 2010, S. 8 - 23
ISBN:
ISBN: