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
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Meiyi, Ma ; Bartocci, Ezio ; Lifland, Eli ; Stankovic, John ; Feng, Lu SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart CitiesKonferenzbeitrag Inproceedings2020