共 50 条
- [1] Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems [J]. 2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012), 2012, : 232 - 232
- [2] Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification [J]. 2016 ACM/IEEE 7TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2016,
- [3] Poster Abstract: Unifying Modeling Substrate for Irrigation Cyber-Physical Systems [J]. 2016 ACM/IEEE 7TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2016,
- [4] Poster Abstract: Assuring LLM-Enabled Cyber-Physical Systems [J]. PROCEEDINGS 15TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, ICCPS 2024, 2024, : 287 - 288
- [5] CoCPN - Towards Flexible and Adaptive Cyber-Physical Systems Through Cooperation [J]. 2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2019,
- [6] An Integrated Simulation Module for Cyber-Physical Automation Systems [J]. SENSORS, 2016, 16 (05):
- [7] A Dual Reality Simulation Environment for Cyber-Physical Systems [J]. 2018 13TH APCA INTERNATIONAL CONFERENCE ON CONTROL AND SOFT COMPUTING (CONTROLO), 2018, : 413 - 418
- [10] Poster Abstract : A Cyber-physical Middleware Framework for Continuous Monitoring of Water Distribution Systems [J]. SENSYS 09: PROCEEDINGS OF THE 7TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2009, : 401 - 402