Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP

Domaines

Génie logiciel [cs.SE] Informatique [cs]

Flavio Oquendo  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03585038

Soumis le : mardi 22 février 2022-18:39:34

Dernière modification le : mardi 8 octobre 2024-18:16:46

Fichier non déposé

Dates et versions

hal-03585038 , version 1 (22-02-2022)

Identifiants

  • HAL Id : hal-03585038 , version 1

Citer

Fagner M. Dias, Marcel Oliveira, Thais Batista, Everton Cavalcante, Jair Leite, et al.. Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. 14th European Conference on Software Architecture (ECSA), Sep 2020, L'Aquila, Italy. ⟨hal-03585038⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA UBS IRISA_UBS CENTRALESUPELEC UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE IRISA_UBS_2 UR1-MATH-NUM
42 Consultations
0 Téléchargements

Partager

More