OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Tallinn University of Technology - TTU (ESTONIA)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 1.

Dieumegard, Arnaud and Toom, Andres and Pantel, Marc Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. (2016) In: FMICS - AVoCS 2016 (Joint 21st International Workshop on Formal Methods for Industrial Critical Systems / 16th International Workshop on Automated Verification of Critical Systems), 26 September 2016 - 28 September 2016 (Pisa, Italy).

This list was generated on Wed Jul 17 19:33:37 2024 CEST.