共 50 条
- [43] A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, 2015, 8938 : 116 - 130
- [48] System Principles, Mathematical Models and Methods to ensure High Reliability of Safety Systems XI CONFERENCE ON RECONNAISSANCE AND ELECTRONIC WARFARE SYSTEMS, 2017, 10418