Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.

Arnaud Dieumegard, Andres Toom, Marc Pantel

Browse the full FMICS paper archive.