Conformance Test Generation from Non-deterministic Specifications

Arkko, Jari

dc.contributor	Aalto-yliopisto	fi
dc.contributor	Aalto University	en
dc.contributor.author	Arkko, Jari
dc.date.accessioned	2021-04-14T18:15:48Z
dc.date.available	2021-04-14T18:15:48Z
dc.date.issued	1995
dc.identifier.uri	https://aaltodoc.aalto.fi/handle/123456789/105494
dc.format.extent	v + 112
dc.language.iso	en	en
dc.title	Conformance Test Generation from Non-deterministic Specifications	en
dc.title	Konformanssitestien tuottaminen epädeterministisistä määrittelyistä	fi
dc.contributor.school	Teknillinen korkeakoulu	fi
dc.contributor.school	Helsinki University of Technology	en
dc.contributor.department	Tietotekniikan osasto	fi
dc.identifier.urn	URN:NBN:fi:aalto-202104144784
dc.programme.major	Tietojenkäsittelyoppi	fi
dc.programme.mcode	Tik-76	fi
dc.type.ontasot	Licentiate thesis	en
dc.type.ontasot	Lisensiaatintyö	fi
dc.contributor.supervisor	Saikkonen, Heikki
local.aalto.openaccess	no
local.aalto.digifolder	Aalto_38557
dc.rights.accesslevel	closedAccess
local.aalto.idinssi	10400
dc.type.okm	G3 Lisensiaatintutkimus
local.aalto.digiauth	ask