Principles of protocol engineering and conformance testing
Behçet Sarikaya · Ellis Horwood eBooks · 1993
Communication architectures basic techniques abstract syntax notation-one Estelle SDL LOTOS conformance testing normalization and simplification control and data flow and test case generation reduction of test cases TTCN TTCN representation of test cases computer-aided test generation.