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