Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2022

Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow

No file

Dates and versions

hal-03488546 , version 1 (17-12-2021)

Identifiers

Cite

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⟩
24 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More