Protocol Data Parts Inclusion in a Formal Passive Testing Approach

Felipe Lalanne, Stephane Maag. Protocol Data Parts Inclusion in a Formal Passive Testing Approach. In 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011, Biopolis, Singapore, March 22-25, 2011. pages 569-573, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.