共 50 条
- [3] A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems [J]. 2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA), 2013, : 268 - 274
- [6] A Platform for Run-time Health Verification of Elastic Cyber-physical Systems [J]. 2016 IEEE 24TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2016, : 379 - 384
- [7] Survey on the run-time systems of enterprise application integration platforms focusing on performance [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (03): : 341 - 360
- [9] Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems [J]. 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2013, : 287 - 296
- [10] A survey of systems for detecting serial run-time errors [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2006, 18 (15): : 1885 - 1907