• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.

Yuan FeiHuibiao ZhuJiaqi Yin
Published in: J. Softw. Evol. Process. (2023)
Keyphrases
  • model checking
  • model checker
  • temporal logic
  • lightweight
  • data sets
  • machine learning
  • search engine
  • cooperative
  • formal analysis
  • tcp ip
  • colored petri nets
  • file transfer
  • coloured petri nets