TY  - GEN
N2  - To download the extended abstract click fulltext.
UR  - https://archiv.ub.uni-heidelberg.de/volltextserver/10050/
A1  - Zouaghi, Leila
A1  - Koslowski, Markus
A1  - Alexopoulos, Alexander
A1  - Barth, Florian
A1  - Jipp, Meike
A1  - Schmidlin Fajardo Silva, Raul
A1  - Luo, Yi
A1  - Wagner, Achim
A1  - Badreddin, Essameddin
ID  - heidok10050
TI  - Dependable component-based design on the Example of a Heating Control System
T3  - International Workshop on the Design of Dependable Critical Systems
Y1  - 2009///
AV  - public
ER  -