Login / Signup
Modeling and Verifying the TTCAN Protocol Using Timed CSP.
Qinwen Ran
Xi Wu
Xin Li
Jianqi Shi
Jian Guo
Huibiao 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