共 50 条
- [1] Spatio-Temporal Event Model for Cyber-Physical Systems ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, 2009, : 44 - 50
- [2] A new spatio-temporal event model based on multi-tuple for cyber-physical systems International Journal of Control and Automation, 2013, 6 (06): : 51 - 62
- [3] Spatio-Temporal UML Statechart For Cyber-Physical Systems 2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 137 - 146
- [4] Spatio-Temporal Properties Analysis for Cyber-Physical Systems 2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 101 - 110
- [5] Spatio-Temporal Failure Propagation in Cyber-Physical Power Systems 3RD INTERNATIONAL CONFERENCE ON SMART GRID AND RENEWABLE ENERGY (SGRE), 2022,
- [6] Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries TESTS AND PROOFS (TAP 2020), 2020, 12165 : 59 - 79
- [7] STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS 2020), 2020, : 309 - 319
- [8] Optimizing the Spatio-Temporal Distribution of Cyber-Physical Systems for Environment Abstraction 2010 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS ICDCS 2010, 2010,
- [9] Spatio-Temporal Hybrid Automata for Safe Cyber-Physical Systems: A Medical Case Study 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 71 - 80
- [10] A Semantic Model for Interacting Cyber-Physical Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (347): : 77 - 95