Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
A LAnguage for REconfigurable dependable Systems: Semantics and Dependability Model Transformation
Title of conference publication:
Proceedings of the Sixth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS)
Conference title:
International Workshop on Verification and Evaluation of Computer and Communication Systems (6., 2012, Paris)
Conference title:
VECoS 2012
Venue:
Paris
Year of conference:
2012
Publisher:
CNAM, Paris, France
Year:
2012
Pages from - to:
78-89
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX