Chaining model transformations to develop a system model verification tool : : application to capella state machines and data flows models - Archive ouverte HAL
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 : mardi 27 août 2024-12:53:42

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 CNRS LAB-STICC_UBO ENIB LAB-STICC_ENIB LAB-STICC IBNM
17 Consultations
0 Téléchargements

Altmetric

Partager

More