Search ResultsElectronic Resources 
by
Tuttle, Steven.
Format:
Excerpt:
International Business Machines Corporation. International Technical Support Organization.
by
Tuttle, Steven.
Format:
Excerpt:
International Business Machines Corporation. International Technical Support Organization.
by
Lakner, Gary.
Format:
Excerpt:
International Business Machines Corporation. International Technical Support Organization.
by
IFIP TC6 WG 6.1 International Symposium on Protocol Specification, Testing, and Verification 12th (1992nd : Lake Buena Vista, Florida)
ScienceDirect https://www.sciencedirect.com/science/book/9780444898746
Format:
Excerpt:
Introduction; 2 Extended Finite State Machines; 3 Axiomatic Semantics Approach; 4 Test Cases Generation; 5

Select an Action





