kompaktne vaade prindi

Formal specification of block libraries in dataflow languages

autor
Dieumegard, Arnaud
Toom, Andres
Pantel, Marc
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
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise
Dieumegard, A., Toom, A., Pantel, M. Formal specification of block libraries in dataflow languages // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu. Tallinn : Tallinna Tehnikaülikooli Kirjastus, 2013. p. 17-19 : ill.