共 50 条
- [1] Designing Cyber-Physical Systems from Natural Language Descriptions [J]. 2017 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2017, : 39 - 44
- [5] Synchronous neural networks for cyber-physical systems [J]. PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2018, : 33 - 42
- [6] A Hybrid Model of Connectors in Cyber-Physical Systems [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 59 - 74
- [7] A Hybrid Approach to Cyber-Physical Systems Verification [J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
- [8] A Hybrid Cyber Attack Model for Cyber-Physical Power Systems [J]. IEEE ACCESS, 2020, 8 : 114876 - 114883
- [9] Evidential Network Modeling for Cyber-Physical System State Inference [J]. IEEE ACCESS, 2017, 5 : 17149 - 17164
- [10] A Survey of Network Attacks on Cyber-Physical Systems [J]. IEEE ACCESS, 2020, 8 : 44219 - 44227