Dieumegard, A., Toom, A., Pantel, M.

täiskirje 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

ISBN

978-9949-23-560-5

märkused

Bibliogr.: 6 ref

TTÜ struktuuriüksus

TTÜ Küberneetika Instituut

keel

inglise

Märksõnad ja võtmesõnad

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

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.