OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Toom, Andres"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

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 Mon Jan 18 02:58:36 2021 CET.