Heuristics for ioco-Based Test-Based Modelling (extended abstract)

Find Full text
Publication year
2007
Author(s)
Willemse, T.A.C.
Publisher
Berlin ; New York : Springer-Verlag
ISBN
3540709517
In
Lecture Notes in Computer Science, (2007)Brim., L. (ed.), Formal Methods: Applications and Technology:11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected, pp. 132-147
Conference location
Bonn
ISSN
DOI
Annotation
FMICS 2006
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/34672   https://hdl.handle.net/2066/34672
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.