prindi

Specifying and verifying model transformations for certified systems using transformation models

autor
Toom, Andres
Dieumegard, Arnaud
Pantel, Marc
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
märksõna
süsteemid
süsteemide modelleerimine
transformatsioon
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.