Publikationer pr. år
Publikationer pr. år
Projektdetaljer
| Akronym | EBON |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/01/2006 → 01/05/2011 |
Samarbejdspartnere
- IT-Universitetet i København (leder)
- University College Dublin (Projektpartner)
Fingerprint
Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.
-
Verified Visualisation of Textual Modelling Languages
Kiniry, J. R. & Fairmichael, F., 2011, I: Electronic Communications of the EASST. 36, 17 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
Kiniry, J. R. & Fairmichael, F., 2009, I: Lecture Notes in Computer Science. 5592Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review