Conformance Test Generation from Non-deterministic Specifications

No Thumbnail Available

URL

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