共 50 条
- [3] Interactive Verification of Safety-Critical Software [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
- [6] Approximate Computing for Safety-Critical Applications [J]. 2021 IEEE 22ND LATIN AMERICAN TEST SYMPOSIUM (LATS2021), 2021,
- [8] Safety-Critical Applications for Vehicular Networks [J]. 2016 INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM 2016), 2016, : 347 - 350
- [10] Towards a Formal Approach to Analysing Security of Safety-Critical Systems [J]. 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 182 - 189