Toom, A., Dieumegard, A., Pantel, M.

täiskirje 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

ISBN

978-9949-23-356-4

märkused

Bibliogr.: 11 ref

keel

inglise

Märksõnad ja võtmesõnad

märksõna

süsteemid

süsteemide modelleerimine

transformatsioon

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.