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]

Authors

Felipe Lalanne

This author has not been identified. Look up 'Felipe Lalanne' in Google

Stephane Maag

This author has not been identified. Look up 'Stephane Maag' in Google