TalTech publikatsioonid
pealdis Dieumegard, A., Toom, A., Pantel, M.
TTÜ struktuuriüksus TTÜ Küberneetika Instituut
maakood ed
keel inglise
autor Dieumegard, Arnaud
Toom, Andres
Pantel, Marc
pealkiri Formal specification of block libraries in dataflow languages
vastutusandmed Arnaud Dieumegard, Andres Toom and Marc Pantel
allikas Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu
ilmumiskoht Tallinn
kirjastus/väljaandja Tallinna Tehnikaülikooli Kirjastus
ilmumisaasta 2013
leheküljed p. 17-19 : ill
konverentsi nimetus, aeg Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmes aastakonverents, 15.-16. novembril 2013,
konverentsi toimumispaik Haapsalu
märksõna automaatjuhtimine
juhtimissüsteemid
raalprojekteerimine
kompuutermodelleerimine
SIMULINK (tarkvara)
võtmesõna MDE
formal specification
software qualification
safety critical systems
automatic code generation
SIMULINK
SCICOS
WHY3
ISBN 978-9949-23-560-5
märkused Bibliogr.: 6 ref