共 50 条
- [22] Specification and Verification of Spatio-Temporal Properties of Mobile Systems IT-INFORMATION TECHNOLOGY, 2008, 50 (05): : 324 - 326
- [23] Incentive Mechanisms for Spatio-temporal Tasks in Mobile Crowdsensing 2019 IEEE 16TH INTERNATIONAL CONFERENCE ON MOBILE AD HOC AND SMART SYSTEMS (MASS 2019), 2019, : 55 - 63
- [24] Enforcing spatio-temporal access control in mobile applications Computing, 2014, 96 : 313 - 353
- [26] Spatio-Temporal Specification for Mobile Cyber Physical Systems 2018 24TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC' 18), 2018, : 607 - 612
- [27] A spatio-temporal logic for the specification and refinement of mobile systems FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 87 - 101
- [28] Spatio-Temporal History of Islamic Inventors Based on Mobile 2015 International Electronics Symposium (IES), 2015, : 239 - 244
- [29] Identification of spatio-temporal outliers through Minimum Spanning Tree 10TH INTERNATIONAL CONFERENCE ON SIGNAL-IMAGE TECHNOLOGY AND INTERNET-BASED SYSTEMS SITIS 2014, 2014, : 248 - 255