Conformance Test Generation from Non-deterministic Specifications

No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology | Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Date
1995
Major/Subject
Tietojenkäsittelyoppi
Mcode
Tik-76
Degree programme
Language
en
Pages
v + 112
Series
Description
Supervisor
Saikkonen, Heikki
Keywords
Other note
Citation