Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005 |
Herausgeber (Verlag) | . |
Seiten | 59-71 |
Band | CS-TR-969 |
Publikationsstatus | Veröffentlicht - 2006 |
Veranstaltung | International Symposium of Formal Methods Europe - Newcastle upon Tyne, Großbritannien / Vereinigtes Königreich Dauer: 18 Juli 2005 → 18 Juli 2005 |
Publikationsreihe
Name | University of Newcastle upon Tyne, Computer Science Technical Report Series |
---|
Konferenz
Konferenz | International Symposium of Formal Methods Europe |
---|---|
Land/Gebiet | Großbritannien / Vereinigtes Königreich |
Ort | Newcastle upon Tyne |
Zeitraum | 18/07/05 → 18/07/05 |
Projekte
- 1 Laufend
-
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet