共 50 条
- [22] A Framework for Model-based Dependability Analysis of Cyber-Physical Systems 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 82 - 89
- [25] Towards Model-Based Continuous Deployment of Secure IoT Systems 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 613 - 618
- [27] A model-based framework for the safety analysis of computer-based railway signalling systems COMPUTERS IN RAILWAYS XII: COMPUTER SYSTEM DESIGN AND OPERATION IN RAILWAYS AND OTHER TRANSIT SYSTEMS, 2010, 114 : 827 - 838
- [28] A graph model-based fault detection framework for structural analysis of complex systems 2019 19TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2019, : 220 - 225
- [29] Model-based design, analysis and assessment framework for safety-critical systems 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
- [30] AN EVIDENTIAL REASONING EXTENSION TO QUANTITATIVE MODEL-BASED FAILURE DIAGNOSIS IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1992, 22 (02): : 275 - 289