On the verification of mission-related properties in software-intensive systems-of-systems architectural design - Archive ouverte HAL
Article Dans Une Revue Science of Computer Programming Année : 2020

On the verification of mission-related properties in software-intensive systems-of-systems architectural design

Domaines

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

Flavio Oquendo  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02570170

Soumis le : lundi 11 mai 2020-18:49:29

Dernière modification le : vendredi 25 octobre 2024-11:28:08

Consulter le texte intégral

Dates et versions

hal-02570170 , version 1 (11-05-2020)

Identifiants

Citer

Eduardo Silva, Thais Batista, Flavio Oquendo. On the verification of mission-related properties in software-intensive systems-of-systems architectural design. Science of Computer Programming, 2020, 192, pp.102425. ⟨10.1016/j.scico.2020.102425⟩. ⟨hal-02570170⟩

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
66 Consultations
0 Téléchargements

Altmetric

Partager

More