Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2004 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000002409 |
Erschienen in | Proceedings, 3rd International Workshop on Critical Systems Development with UML, CSD-UML '04, Lisbon, Portugal, 11.-15.10.04 |
Seiten | 56-70 |
Serie | TU Munich Technical Report TUM-I0415 |