共 50 条
- [21] Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems 2018 IEEE 21ST INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2018), 2018, : 51 - 58
- [26] A FRAMEWORK FOR FAULT TOLERANCE TECHNIQUES IN THE ANALYSIS AND EVALUATION OF COMPUTING SYSTEMS INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2012, 8 (7B): : 5083 - 5094
- [27] A Framework to Generate Fault-Based Behavior Models for Complex Systems Design 59TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2013,
- [29] Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation 2021 IEEE INTERNATIONAL TEST CONFERENCE (ITC 2021), 2021, : 409 - 418
- [30] SDG MODEL-BASED ANALYSIS OF FAULT PROPAGATION IN CONTROL SYSTEMS 2009 IEEE 22ND CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1 AND 2, 2009, : 936 - +