共 50 条
- [1] Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems 2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 68 - 79
- [2] Towards A Theory of Autonomous Reconstitution of Compromised Cyber-Systems 2013 IEEE INTERNATIONAL CONFERENCE ON TECHNOLOGIES FOR HOMELAND SECURITY (HST), 2013, : 577 - 583