共 50 条
- [11] Statistical model checking of cyber-physical systems control software Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 380 - 389
- [12] Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1, 2017, : 237 - 241
- [13] Threat modeling in cyber-physical systems 2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC, 2016, : 448 - 453
- [14] Modeling Architectures of Cyber-Physical Systems MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 34 - 50
- [18] A Resiliency Coordinator Against Malicious Attacks for Cyber-Physical Systems 2022 22ND INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2022), 2022, : 1698 - 1703
- [20] Challenges in Modeling Cyber-Physical Systems 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN), 2013, : 5 - 5