TalTech publikatsioonid
pealdis Toom, A., Dieumegard, A., Pantel, M.
maakood ed
keel inglise
autor Toom, Andres
Dieumegard, Arnaud
Pantel, Marc
pealkiri Specifying and verifying model transformations for certified systems using transformation models
vastutusandmed Andres Toom, Arnaud Dieumegard and Marc Pantel
allikas Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa
ilmumiskoht [Tallinn]
kirjastus/väljaandja [Tallinna Tehnika├╝likooli kirjastus]
ilmumisaasta [2012]
leheküljed p. 97-100 : ill
konverentsi nimetus, aeg Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuues aastakonverents, 3.-5. oktoober, 2012
konverentsi toimumispaik Laulasmaa
ISBN 978-9949-23-356-4
märkused Bibliogr.: 11 ref