Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Tests and Proofs |
Herausgeber (Verlag) | Springer |
Seiten | 20-38 |
ISBN (Print) | 978-3-642-38915-3 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2013 |
Veranstaltung | International Conference on Tests and Proofs: TAP 2013 - Budapest, Ungarn Dauer: 18 Juni 2013 → 19 Juni 2013 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Herausgeber (Verlag) | Springer |
Band | 7942 |
Konferenz
Konferenz | International Conference on Tests and Proofs |
---|---|
Kurztitel | TAP 2013 |
Land/Gebiet | Ungarn |
Ort | Budapest |
Zeitraum | 18/06/13 → 19/06/13 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Experimental
- Application
Projekte
- 2 Abgeschlossen
-
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Projekt: Forschungsprojekt
-
TRUFAL - [Original in Englisch: Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation]
Jöbstl, E. & Aichernig, B.
1/03/11 → 30/06/14
Projekt: Forschungsprojekt