共 50 条
- [41] Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W), 2018, : 134 - 139
- [44] Smart Monitoring of the Emergencies by Cyber-Physical Systems 12TH INTERNATIONAL CONFERENCE ELEKTRO 2018, 2018,
- [47] Mobile Cyber-Physical Systems for Smart Cities WWW'20: COMPANION PROCEEDINGS OF THE WEB CONFERENCE 2020, 2020, : 546 - 548
- [48] Towards Trustworthy Smart Cyber-Physical Systems INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2016, 2016, 9977 : 392 - 399
- [50] Provable Determinism for Software in Cyber-Physical Systems VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107