Formal methods for industrial critical systems
: 12th international workshop ; revised selected papers / FMICS 2007, Berlin, Germany, July 1 - 2, 2007. Stefan Leue ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4916)
ISBN 978-3-540-79707-4
Lizenzpflichtig
Quelle: DNB
Scenarios: models, transformations and tools
: international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers / Stefan Leue ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3466)
ISBN 978-3-540-32032-6
Lizenzpflichtig
Quelle: DNB
Scenarios: models, transformations and tools
: international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers / Stefan Leue ; Tarja Johanna Systä (ed.). - Berlin : Heidelberg ; New York : Springer, 2005. - XII, 277 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3466)
ISBN 978-3-540-26189-6 / 3-540-26189-3 kart.
Literaturangaben
Quelle: DNB
