Login / Signup

IotSan: fortifying the safety of IoT systems.

Dang Tu NguyenChengyu SongZhiyun QianSrikanth V. KrishnamurthyEdward J. M. ColbertPatrick 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