共 50 条
- [1] Modeling more software performance antipatterns in cyber-physical systems SOFTWARE AND SYSTEMS MODELING, 2024, 23 (04): : 1003 - 1023
- [2] Software Performance Antipatterns in Cyber-Physical Systems PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20), 2020, : 173 - 180
- [5] Behaviors Modeling and Analysis for Cyber-Physical Systems 2023 35TH CHINESE CONTROL AND DECISION CONFERENCE, CCDC, 2023, : 5419 - 5425
- [6] Formal Modeling of Testing Software for Cyber-Physical Automation Systems 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
- [8] Performance modeling and quantitative evaluation for cyber-physical systems based on LTS JOURNAL OF SUPERCOMPUTING, 2024, 80 (04): : 5616 - 5653
- [9] Performance modeling and quantitative evaluation for cyber-physical systems based on LTS The Journal of Supercomputing, 2024, 80 : 5616 - 5653
- [10] Formal Analysis of Control Software for Cyber-Physical Systems 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 563 - 564