Paper Info
Title
On the Verification of Mission-Related Properties in Software-intensive Systems-of-Systems Architectural Design
Abstract
•Architectural Verification Method for Systems-of-systems.•Simulation-based Verification through Statistical Model Checking.•Tool support extensible for other Architectural Description Languages•Mission-oriented Formal Verification
Year
DOI
Venue
2020
10.1016/j.scico.2020.102425
Science of Computer Programming
Keywords
Field
DocType
Systems-of-systems,Mission modeling,Formal verification,Software architecture
Dynamism,Programming language,Software engineering,Architectural design,Computer science,System of systems,Modeling language,Problem resolution,Software,Formalism (philosophy)
Journal
Volume
Issue
ISSN
192
C
0167-6423
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
eduardo de oliveira da silva1264.01
Thais Batista247444.46
fl vio oquendo320125.10