Model Based Testing with Labelled Transition Systems

Thumbnail
Fulltext:
72680.pdf
Size:
802.6Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2008
Author(s)
Tretmans, Jan
Publisher
Berlin : Springer-Verlag
Series
Lecture notes in computer science ; 4949
ISBN
9783540789161
In
Hierons, R.M.; Harman, M. (ed.), Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers, pp. 1-38
DOI
Publication type
Part of book or chapter of book
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/72680   https://hdl.handle.net/2066/72680
Display more details

Upload full text

Use your RU or RadboudUMC credentials to log in with SURFconext to upload a file for processing by the repository team.