U-safety: Urban safety analysis in a smart city.

Zhe Peng Bin Xiao Yuan Yao Jichang Guan Fan Yang

Published in: ICC (2017)

Keyphrases

safety analysis
smart city
nuclear power plant
safety critical
smart cities
service integration
control system
fault model
symbolic model checking
formal methods
reliability analysis
knowledge management
intelligent agents
fault tolerant