IotSan: fortifying the safety of IoT systems.

Dang Tu Nguyen Chengyu Song Zhiyun Qian Srikanth V. Krishnamurthy Edward J. M. Colbert Patrick D. McDaniel

Published in: CoNEXT (2018)

Keyphrases

management system
retrieval systems
safety critical
expert systems
intelligent systems
real time
genetic algorithm
database systems
learning systems
formal methods