Login / Signup
A formal approach to robustness testing of network protocol with time constraints.
Xia Yin
Zhiliang Wang
Chuanming Jing
Jianping Wu
Published in:
Secur. Commun. Networks (2011)
Keyphrases
</>
website
constraint programming
databases
information systems
linear constraints
multiple constraints
neural network
artificial intelligence
search engine
case study
test cases
computational efficiency
constraint satisfaction
formal model
high robustness