共 50 条
- [1] Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic 2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 254 - 260
- [2] Distributed Consensus Algorithm for Events Detection in Cyber-Physical Systems IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (02): : 2299 - 2308
- [6] Spatial Ontologies and Models for Safety-Critical Cyber-Physical Systems 2015 INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS ENGINEERING (ICCSE), 2015,
- [7] Spatio-Temporal Properties Analysis for Cyber-Physical Systems 2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 101 - 110
- [10] Pattern Detection in Cyber-Physical Systems 6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 1016 - 1021