Formal specification of block libraries in dataflow languages

vastutusandmed
Arnaud Dieumegard, Andres Toom, and Marc Pantel
allikas
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings
ilmumiskoht
[S.l.]
ilmumisaasta
leheküljed
[10] p. : ill
konverentsi nimetus, aeg
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014, 5-7 February, 2014
konverentsi toimumispaik
Toulouse, France
märkused
Bibliogr.: 8 ref
Teavikus puudub ilmumisaasta
TTÜ struktuuriüksus
keel
inglise
Dieumegard, A., Toom, A., Pantel, M. Formal specification of block libraries in dataflow languages // 7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings. [S.l.], 2014. [10] p. : ill.