Supporting Consistency in the Heterogeneous Design of Safety-Critical Software.

Andrs Paz, Ghizlane El-Boussaidi

Browse the full COMPSAC paper archive.