- 2 resultater
Søgeresultater
-
2011
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 -
2009
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