Sign in

Formal Modeling and Verification of ICN-IoT Middleware Architecture (S).

Hongqin ZhangJiaqi YinHuibiao ZhuNingning Chen
Published in: SEKE (2021)
Keyphrases
  • middleware architecture
  • cloud computing
  • formal methods
  • management system
  • voice and data services
  • machine learning
  • big data
  • formal models
  • data sets
  • data analysis
  • model checking