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. (Eds.). - 15th International GI/ITG Conference, MMB&DFT, March 15-17, 2010, Essen, Germany - Berlin: Springer, 2010, pp. 8 - 23
2010book article/chapter in Proceedings
Computer ScienceFaculty of Business Administration and Economics
Title in English:
Verification of a Control System built using Remote Redundancy by means of Timed Automata and State Space Exploration
Author:
Echtle, KlausUDE
LSF ID
5086
Other
connected with university
;Kimmeskamp, ThorstenUDE
LSF ID
12259
Other
connected with university
DOI
10.1007/978-3-642-12104-3_4
Scopus ID
78650275302
Language of text:
English
Appears in
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Conference
15th International GI/ITG Conference, MMB&DFT, March 15-17, 2010, Essen, Germany
Editor:
Müller-Clostermann, Bruno
LSF ID
5102
;Echtle, Klaus
LSF ID
5086
;Rathgeb, Erwin P.
LSF ID
11501
Place of publication:
Berlin
Publisher:
Springer
Year of publication:
2010
in:
pp. 8 - 23
ISBN
3-642-12103-9
ISBN
978-3-642-12103-6