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 Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2022

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

Domaines

Informatique [cs]

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

Fichier non déposé

Dates et versions

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

Identifiants

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⟩

Exporter

BibTeX XML-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
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More