Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Third IEEE International workshop UML and Formal Methods (UML & FM 2010) |
Herausgeber (Verlag) | Association of Computing Machinery |
Seiten | 1-8 |
Band | 36 |
Publikationsstatus | Veröffentlicht - 2011 |
Veranstaltung | Third IEEE International workshop UML and Formal Methods: UML & FM 2010 - Shanghai, China Dauer: 16 Nov. 2010 → 16 Nov. 2010 |
Publikationsreihe
Name | ACM Software Engineering Notes |
---|---|
Herausgeber (Verlag) | ACM |
Konferenz
Konferenz | Third IEEE International workshop UML and Formal Methods |
---|---|
Land/Gebiet | China |
Ort | Shanghai |
Zeitraum | 16/11/10 → 16/11/10 |
Anderes |
Fields of Expertise
- Information, Communication & Computing
Projekte
- 1 Abgeschlossen
-
EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Projekt: Forschungsprojekt