[IEEE 2008 9th International Conference for Young Computer Scientists (ICYCS) - Hunan, China (2008.11.18-2008.11.21)] 2008 The 9th International Conference for Young Computer Scientists - A Formal Approach to Robustness Testing of Network Protocol with Time Constraints
Jing, Chuanming, Yin, Xia, Wang, Zhiliang, Wu, JianpingYear:
2008
Language:
english
DOI:
10.1109/icycs.2008.401
File:
PDF, 204 KB
english, 2008