共 50 条
- [31] Statistical Model Checking for Cyber-Physical Systems AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 1 - 12
- [32] A Hybrid Model of Connectors in Cyber-Physical Systems FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 59 - 74
- [33] A Hybrid Cyber Attack Model for Cyber-Physical Power Systems IEEE ACCESS, 2020, 8 : 114876 - 114883
- [36] Model Based Testing of Cyber-Physical Systems FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 423 - 426
- [38] Model Checking Cyber-Physical Energy Systems PROCEEDINGS OF 2017 INTERNATIONAL RENEWABLE & SUSTAINABLE ENERGY CONFERENCE (IRSEC' 17), 2017, : 635 - 640