Formal specification of block libraries in dataflow languages
statement of authorship
Arnaud Dieumegard, Andres Toom and Marc Pantel
location of publication
Tallinn
publisher
year of publication
pages
p. 17-19 : ill
conference name, date
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmes aastakonverents, 15.-16. novembril 2013,
conference location
Haapsalu
ISBN
978-9949-23-560-5
notes
Bibliogr.: 6 ref
TTÜ department
language
inglise
subject term
keyword
safety critical systems
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.