Lecture notes in computer science ; 9933 (series)

—
—
—
—
Add criteria Advanced search filter
Clear
types of item

  • book article
    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 and 16th 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
    book article
Number of records 1, displaying 1 - 1