On the verification of mission-related properties in software-intensive systems-of-systems architectural design - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2020
Fichier non déposé

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

Altmetric

Partager

Gmail Facebook X LinkedIn More