共 50 条
- [41] Predictive Analysis of Mission Critical Systems Dependability 16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 561 - 566
- [43] Specifying fault tolerance in mission critical systems IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 24 - 31
- [44] SAFENET - A LAN FOR NAVY MISSION CRITICAL SYSTEMS 14TH CONFERENCE ON LOCAL COMPUTER NETWORKS, 1989, : 340 - 346
- [46] Enterprise-wide decision support systems: PSE contributions & promise European Symposium on Computer-Aided Process Engineering-15, 20A and 20B, 2005, 20a-20b : 1 - 1
- [49] Early verification and validation of mission critical systems Formal Methods in System Design, 2007, 30
- [50] Realizing the Promise of Artificial Intelligence for Unmanned Aircraft Systems through Behavior Bounded Assurance 2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2019,