print

Between qualification and certification : specifying and verifying model transformations in an embedded code generator

author
Toom, Andres
statement of authorship
Andres Toom
source
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
location of publication
[Tallinn]
publisher
[Tallinna Tehnikaülikooli kirjastus]
year of publication
2010
pages
lk. 109-112 : ill
conference name, date
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljas aastakonverents, 26.-27. novembril 2010
conference location
Essu mõis
subject term
kompuutermodelleerimine
mudelid
verifikatsioon
ISBN
978-9949-23-044-0
notes
Bibliogr.: 8 nim
language
inglise
Toom, A. Between qualification and certification : specifying and verifying model transformations in an embedded code generator // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis. [Tallinn] : [Tallinna Tehnikaülikooli kirjastus], 2010. lk. 109-112 : ill.