Article Dans Une Revue
Theoretical Computer Science
Année : 2022
Jean-Pierre Talpin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03488546
Soumis le : vendredi 17 décembre 2021-16:16:44
Dernière modification le : mercredi 14 février 2024-12:47:10
Citer
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, et al.. Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. Theoretical Computer Science, 2022, 903, pp.1-25. ⟨10.1016/j.tcs.2021.11.008⟩. ⟨hal-03488546⟩
Collections
24
Consultations
0
Téléchargements