A Categorical Framework for Collaborative Design of Safety Critical Mechatronic Systems

Nourhene Abdeljabbar, Faïda Mhenni, Jean-Yves Choley. A Categorical Framework for Collaborative Design of Safety Critical Mechatronic Systems. In IEEE International Symposium on Systems Engineering, ISSE 2021, Vienna, Austria, September 13 - October 13, 2021. pages 1-6, IEEE, 2021. [doi]

Abstract

Abstract is missing.