Formal specification of block libraries in dataflow languages
vastutusandmed
Arnaud Dieumegard, Andres Toom and Marc Pantel
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
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
võtmesõna
safety critical systems
ISBN
978-9949-23-560-5
märkused
Bibliogr.: 6 ref
TTÜ struktuuriüksus
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.