Specifying and verifying model transformations for certified systems using transformation models
statement of authorship
Andres Toom, Arnaud Dieumegard and Marc Pantel
location of publication
[Tallinn]
publisher
year of publication
pages
p. 97-100 : ill
conference name, date
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuues aastakonverents, 3.-5. oktoober, 2012
conference location
Laulasmaa
subject term
ISBN
978-9949-23-356-4
notes
Bibliogr.: 11 ref
language
inglise
Toom, A., Dieumegard, A., Pantel, M. Specifying and verifying model transformations for certified systems using transformation models // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa. [Tallinn] : [Tallinna Tehnikaülikooli kirjastus], 2012. p. 97-100 : ill.