Refusal Testing for Classes of Transition Systems with Inputs and Outputs


Share/Save/Bookmark

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) (pp. pp. 23-38).

[img] PDF
Restricted to UT campus only
: Request a copy
284kB
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

 

Repository Staff Only: item control page