共 50 条
- [41] Fundamental Challenges of Cyber-Physical Systems Security Modeling 2020 50TH ANNUAL IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME (DSN-S), 2020, : 33 - 36
- [42] Computational Modeling of Age of Information for Cyber-physical Systems 2021 IEEE LATIN-AMERICAN CONFERENCE ON COMMUNICATIONS (LATINCOM 2021), 2021,
- [43] Modeling and Simulating Cyber-Physical Systems using CyPhySim 2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 115 - 124
- [44] Modeling and Simulation of Cyberattacks for Resilient Cyber-Physical Systems 2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 988 - 993
- [45] Topological Structure Modeling and Analysis for Cyber-Physical Systems 2014 IEEE 7TH JOINT INTERNATIONAL INFORMATION TECHNOLOGY AND ARTIFICIAL INTELLIGENCE CONFERENCE (ITAIC), 2014, : 523 - 526
- [46] Modeling and Verification of Cyber-Physical Systems under uncertainty 2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2017,
- [47] Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems 2020 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2020, : 568 - 576
- [49] A Method for Modeling and Evaluation of the Security of Cyber-Physical Systems 2014 11TH INTERNATIONAL ISC CONFERENCE ON INFORMATION SECURITY AND CRYPTOLOGY (ISCISC), 2014, : 131 - 136
- [50] A Layered Formal Framework for Modeling of Cyber-Physical Systems PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 1715 - 1720