Chaining model transformations to develop a system model verification tool : : application to capella state machines and data flows models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Chaining model transformations to develop a system model verification tool : : application to capella state machines and data flows models

Christophe Duhil
  • Fonction : Auteur
Jean-Philippe Babau
Lab-STICC_UBO_CACS_MOCS
Eric Lépicier
  • Fonction : Auteur
Jean-Luc Voirin
  • Fonction : Auteur
Juan Navas
  • Fonction : Auteur

Domaines

Systèmes embarqués Génie logiciel [cs.SE]

Jean-Philippe Babau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03472872

Soumis le : jeudi 9 décembre 2021-15:42:18

Dernière modification le : vendredi 24 mars 2023-14:53:24

Fichier non déposé

Dates et versions

hal-03472872 , version 1 (09-12-2021)

Identifiants

Citer

Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan Navas. Chaining model transformations to develop a system model verification tool : : application to capella state machines and data flows models. SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, Apr 2020, Brno Czech Republic, Czech Republic. pp.1654-1657, ⟨10.1145/3341105.3374093⟩. ⟨hal-03472872⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC IBNM
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More