Article Dans Une Revue
Science of Computer Programming
Année : 2022
Frédéric MALLET : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03836230
Soumis le : mardi 1 novembre 2022-23:21:17
Dernière modification le : lundi 26 février 2024-11:22:14
Citer
Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, et al.. Formally verifying consistency of sequence diagrams for safety critical systems. Science of Computer Programming, 2022, 216, pp.102777. ⟨10.1016/j.scico.2022.102777⟩. ⟨hal-03836230⟩
40
Consultations
0
Téléchargements