Toward Formal Methods for Smart Cities
Toward Formal Methods for Smart Cities
复制标题
迈向智慧城市的正式方法
DOI：
10.1109/mc.2021.3082991
复制
发表时间：
2021
期刊：
影响因子：
2.2
通讯作者：
Feng, Lu
中科院分区：
文献类型：
--
作者：
Ma, Meiyi;Stankovic, John A.;Feng, Lu
CityGuard：智能城市中安全意识冲突检测的看门狗
DOI：
10.1145/3054977.3054989
发表时间：
2017
期刊：
2017 IEEE/ACM Second International Conference on Internet-of-Things Design and Implementation (IoTDI)
影响因子：
--
作者：
Meiyi Ma;S. Preum;J. Stankovic
通讯作者：
J. Stankovic
一种新颖的基于时空规范的智慧城市监控系统
影响因子：
10.6
作者：
Ma, Meiyi;Bartocci, Ezio;Lifland, Eli;Stankovic, John A.;Feng, Lu
通讯作者：
Feng, Lu
CityResolver：智慧城市冲突解决决策支持系统
DOI：
10.1109/iccps.2018.00014
发表时间：
2018
期刊：
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)
影响因子：
--
作者：
Meiyi Ma;J. Stankovic;Lu Feng
通讯作者：
Lu Feng