2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)
Book title Buchtitel
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)
Publisher Herausgeber
IEEE
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Meiyi, Ma ; Bartocci, Ezio ; Lifland, Eli ; Stankovic, John ; Feng, Lu | SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities | Konferenzbeitrag Inproceedings | 2020 |