Projekte pro Jahr
Originalsprache | englisch |
---|---|
Verlag | Springer Verlag |
ISBN (Print) | 978-3-642-25270-9 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2012 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Theoretical
- Application
- Experimental
-
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet
-
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