A Research Landscape on Formal Verification of Software Architecture Descriptions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Access Année : 2019

A Research Landscape on Formal Verification of Software Architecture Descriptions

Domaines

Génie logiciel [cs.SE] Informatique [cs]
Fichier principal
Vignette du fichier
08901988.pdf (994.23 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Admin HAL UR1  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02570179

Soumis le : vendredi 4 juin 2021-15:35:52

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

Archivage à long terme le : dimanche 5 septembre 2021-19:44:20

Télécharger pour visualiser

Dates et versions

hal-02570179 , version 1 (04-06-2021)

Identifiants

Citer

Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo. A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access, 2019, 7, pp.171752-171764. ⟨10.1109/ACCESS.2019.2953858⟩. ⟨hal-02570179⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM 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
75 Consultations
119 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More