Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 17-19 : ill

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS