Specifying and verifying model transformations for certified systems using transformation models

vastutusandmed
Andres Toom, Arnaud Dieumegard and Marc Pantel
ilmumiskoht
[Tallinn]
ilmumisaasta
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
keel
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.