共 50 条
- [31] Model checking for dependable software-intensive systems 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 764 - 764
- [32] Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems SOFTWARE ARCHITECTURE, ECSA 2016, 2016, 9839 : 3 - 21
- [33] Refining Missions to Architectures in Software-Intensive Systems-of-Systems 2017 IEEE/ACM JOINT 5TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS AND 11TH WORKSHOP ON DISTRIBUTED SOFTWARE DEVELOPMENT, SOFTWARE ECOSYSTEMS AND SYSTEMS-OF-SYSTEMS( JSOS 2017), 2017, : 2 - 8
- [34] Safety Assessment of Complex, Software-Intensive Systems SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2012, 5 (01): : 233 - 244
- [35] Understanding the trust of software-intensive distributed systems CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2016, 28 (01): : 114 - 143
- [36] Redefining Reliability Evaluations for Software-Intensive Systems 2015 61ST ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2015), 2015,
- [37] Reliability-related requirements in software-intensive systems ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2007 PROCEEDINGS, 2006, : 155 - +
- [38] On the Architecture-Driven Development of Software-Intensive Systems-of-Systems 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 899 - 902
- [39] A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees 2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 14 - 21