Login / Signup
Network protocol system monitoring: a formal approach with passive testing.
David Lee
Dongluo Chen
Ruibing Hao
Raymond E. Miller
Jianping Wu
Xia Yin
Published in:
IEEE/ACM Trans. Netw. (2006)
Keyphrases
</>
monitoring system
real time
test cases
test data
machine learning
databases
data mining
artificial intelligence
data structure
formal methods
mathematical theory