Supporting Consistency in the Heterogeneous Design of Safety-Critical Software

Andrés Paz, Ghizlane El-Boussaidi. Supporting Consistency in the Heterogeneous Design of Safety-Critical Software. In Vladimir Getov, Jean-Luc Gaudiot, Nariyoshi Yamai, Stelvio Cimato, J. Morris Chang, Yuuichi Teranishi, Ji-Jiang Yang, Hong Va Leong, Hossain Shahriar, Michiharu Takemoto, Dave Towey, Hiroki Takakura, Atilla Elçi, Susumu Takeuchi, Satish Puri, editors, 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1. pages 37-46, IEEE, 2019. [doi]

Authors

Andrés Paz

This author has not been identified. Look up 'Andrés Paz' in Google

Ghizlane El-Boussaidi

This author has not been identified. Look up 'Ghizlane El-Boussaidi' in Google