Back to Search
Start Over
Toward Formal Methods for Smart Cities.
- Source :
-
Computer (00189162) . Sep2021, Vol. 54 Issue 9, p39-48. 10p. - Publication Year :
- 2021
-
Abstract
- How can the advantages of formal methods be brought to emerging smart cities? We discuss several core challenges and our recent efforts as the first step toward developing novel formal methods to ensure safety and performance in smart cities. [ABSTRACT FROM AUTHOR]
- Subjects :
- *SMART cities
*SAFETY
Subjects
Details
- Language :
- English
- ISSN :
- 00189162
- Volume :
- 54
- Issue :
- 9
- Database :
- Academic Search Index
- Journal :
- Computer (00189162)
- Publication Type :
- Academic Journal
- Accession number :
- 153244990
- Full Text :
- https://doi.org/10.1109/MC.2021.3082991