Formal specification of block libraries in dataflow languages
author
Dieumegard, Arnaud
Toom, Andres
Pantel, Marc
statement of authorship
Arnaud Dieumegard, Andres Toom and Marc Pantel
source
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu
location of publication
Tallinn
publisher
Tallinna Tehnikaülikooli Kirjastus
year of publication
2013
pages
p. 17-19 : ill
conference name, date
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmes aastakonverents, 15.-16. novembril 2013,
conference location
Haapsalu
subject term
automaatjuhtimine
juhtimissüsteemid
raalprojekteerimine
kompuutermodelleerimine
SIMULINK (tarkvara)
keyword
MDE
formal specification
software qualification
safety critical systems
automatic code generation
SIMULINK
SCICOS
WHY3
ISBN
978-9949-23-560-5
notes
Bibliogr.: 6 ref
TalTech department
TTÜ Küberneetika Instituut
language
inglise