Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus EST / artikkel kogumikus ENG

Block library driven translation validation for dataflow models in safety critical systemsDieumegard, Arnaud; Toom, Andres; Pantel, MarcCritical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings2016 / p. 117-132 : ill https://doi.org/10.1007/978-3-319-45943-1_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

2

artikkel kogumikus

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, MarcERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]2012 / [10 p.] https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1

artikkel kogumikus

3

artikkel kogumikus

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, Marc6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts2012 / p. 147 https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1

artikkel kogumikus

4

artikkel kogumikus

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

5

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

6

artikkel kogumikus

Specifying and verifying model transformations for certified systems using transformation modelsToom, Andres; Dieumegard, Arnaud; Pantel, MarcInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa2012 / p. 97-100 : ill

artikkel kogumikus

Pantel, Marc (autor)

teaviku laadid

autor 23

CV 5