Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Formal Methods for Components and Objects |
Herausgeber (Verlag) | . |
Seiten | 228-249 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2010 |
Veranstaltung | International Symposium on Formal Methods for Components and Objects - Eindhoven, Niederlande Dauer: 4 Nov. 2009 → 6 Nov. 2009 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|
Konferenz
Konferenz | International Symposium on Formal Methods for Components and Objects |
---|---|
Land/Gebiet | Niederlande |
Ort | Eindhoven |
Zeitraum | 4/11/09 → 6/11/09 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Experimental
- Theoretical
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