Author of the publication

Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.

, , , , and . FORTE, volume 3235 of Lecture Notes in Computer Science, page 150-166. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Network protocol system monitoring: a formal approach with passive testing., , , , , and . IEEE/ACM Trans. Netw., 14 (2): 424-437 (2006)Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach., , , , and . FORTE, volume 3235 of Lecture Notes in Computer Science, page 150-166. Springer, (2004)A Formal Approach for Passive Testing of Protocol Data Portions., , , , , and . ICNP, page 122-131. IEEE Computer Society, (2002)Coping with Nondeterminism in Network Protocol Testing., , , and . TestCom, volume 3502 of Lecture Notes in Computer Science, page 129-145. Springer, (2005)VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection., , , , , and . TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, page 119-134. Springer, (2008)