Testable specifications of NoTA-based modular embedded systems

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola
Förläggare: Turku Centre for Computer Science (TUCS)
Publiceringsår: 2007
Seriens namn: TUCS Technical Report
Nummer i serien: 841
ISBN: 978-952-12-1950-4

Senast uppdaterad 2020-28-02 vid 04:15