Conformance Test Generation from Non-deterministic Specifications

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorArkko, Jari
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorSaikkonen, Heikki 
dc.date.accessioned2021-04-14T18:15:48Z
dc.date.available2021-04-14T18:15:48Z
dc.date.issued1995 
dc.format.extentv + 112 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/105494
dc.identifier.urnURN:NBN:fi:aalto-202104144784
dc.language.isoenen
dc.programme.majorTietojenkäsittelyoppifi
dc.programme.mcodeTik-76fi
dc.rights.accesslevelclosedAccess
dc.titleConformance Test Generation from Non-deterministic Specificationsen
dc.titleKonformanssitestien tuottaminen epädeterministisistä määrittelyistäfi
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_38557
local.aalto.idinssi10400
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK