Formal specification of block libraries in dataflow languages

statement of authorship
Arnaud Dieumegard, Andres Toom, and Marc Pantel
source
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings
location of publication
[S.l.]
year of publication
pages
[10] p. : ill
conference name, date
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014, 5-7 February, 2014
conference location
Toulouse, France
notes
Bibliogr.: 8 ref
Teavikus puudub ilmumisaasta
language
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.