Refusal Testing for Classes of Transition Systems with Inputs and Outputs

Heerink, A.W. and Tretmans, G.J. (1997) Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII).

PDF
Restricted to UT campus only: Request a copy
277Kb

Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/63298
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page