dc.contributor |
Aalto-yliopisto |
fi |
dc.contributor |
Aalto University |
en |
dc.contributor.author |
Viskari, Juha |
|
dc.date.accessioned |
2021-04-14T18:19:21Z |
|
dc.date.available |
2021-04-14T18:19:21Z |
|
dc.date.issued |
1996 |
|
dc.identifier.uri |
https://aaltodoc.aalto.fi/handle/123456789/105561 |
|
dc.format.extent |
54+17 |
|
dc.language.iso |
en |
en |
dc.title |
A Pragmatic Conformance Test Generator for Concurrent Systems |
en |
dc.title |
Rinnakkaisjärjestelmien pragmaattinen konformanssitestigeneraattori |
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-202104144851 |
|
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 |
Sulonen, Reijo |
|
local.aalto.openaccess |
no |
|
local.aalto.digifolder |
Aalto_39433 |
|
dc.rights.accesslevel |
closedAccess |
|
local.aalto.idinssi |
11077 |
|
dc.type.okm |
G3 Lisensiaatintutkimus |
|
local.aalto.digiauth |
ask |
|