Login / Signup

Modeling and Verifying the TTCAN Protocol Using Timed CSP.

Qinwen RanXi WuXin LiJianqi ShiJian GuoHuibiao Zhu
Published in: TASE (2014)
Keyphrases
  • colored petri nets
  • petri net
  • lightweight
  • constraint satisfaction problems
  • protocol specification
  • np hard
  • formal analysis
  • real time
  • multi agent
  • model checking
  • modeling method
  • network protocols