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 Thu May 26 03:57:24 2022 CEST.
