Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
Book chapter (October 2019)
The most recent citing publication is shown below. View this citation on Dimensions.
Book chapter (October 2019)