A categorical framework for Safety critical mechatronic systems modeling - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

A categorical framework for Safety critical mechatronic systems modeling

Fichier non déposé

Dates et versions

hal-03838681 , version 1 (03-11-2022)

Identifiants

Citer

Nourhene Abdeljabbar, Faïda Mhenni, Jean-Yves Choley. A categorical framework for Safety critical mechatronic systems modeling. 2020 21st International Conference on Research and Education in Mechatronics (REM), Dec 2020, Cracow, Poland. pp.1-5, ⟨10.1109/REM49740.2020.9313928⟩. ⟨hal-03838681⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More