Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Haifa Verification Conference |
Herausgeber (Verlag) | Springer |
Publikationsstatus | Angenommen/In Druck - 2006 |
Veranstaltung | Haifa Verification Conference 2006 - Haifa, Israel Dauer: 23 Okt. 2006 → 26 Okt. 2006 |
Konferenz
Konferenz | Haifa Verification Conference 2006 |
---|---|
Land/Gebiet | Israel |
Ort | Haifa |
Zeitraum | 23/10/06 → 26/10/06 |
Treatment code (Nähere Zuordnung)
- Application
- Theoretical
Projekte
- 1 Abgeschlossen
-
EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Projekt: Forschungsprojekt