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
ISBN: 3-642-12103-9, 978-3-642-12103-6
Buchaufsatz / Kapitel / Fach: Informatik
Fakultät für Wirtschaftswissenschaften