formal specification (võtmesõna)

Lisa tingimus Liitotsing
teaviku laadid

  • 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
    artikkel kogumikus
  • 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
    artikkel kogumikus
Kirjeid leitud 2, kuvan 1 - 2