Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow - Archive ouverte HAL Access content directly
Journal Articles Theoretical Computer Science Year : 2021

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

(1) , (1) , (1) , (1) , (2) , (1)
1
2

Domains

Computer Science [cs]

Jean-Pierre Talpin  : Connect in order to contact the contributor

https://hal.inria.fr/hal-03488546

Submitted on : Friday, December 17, 2021-4:16:44 PM

Last modification on : Friday, August 5, 2022-2:54:52 PM

Not 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, 2021, pp.1-25. ⟨10.1016/j.tcs.2021.11.008⟩. ⟨hal-03488546⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
20 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More