Combining Abstraction and Reachability Analysis: A Case Study of the RLC Protocol

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorHusberg, Nisse 
dc.contributor.authorTynjälä, Teemu
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorHusberg, Nisse 
dc.date.accessioned2021-04-14T21:00:31Z
dc.date.available2021-04-14T21:00:31Z
dc.date.issued2003 
dc.format.extent61 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/106278
dc.identifier.urnURN:NBN:fi:aalto-202104155568
dc.language.isoenen
dc.programme.majorTietojenkäsittelyteoriafi
dc.programme.mcodeT-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordPetri Netsen
dc.subject.keywordPetri verkotfi
dc.subject.keywordMariaen
dc.subject.keywordMariafi
dc.subject.keywordprotocol verificationen
dc.subject.keywordprotokollien verifiointifi
dc.subject.keywordreachability analysisen
dc.subject.keywordsaavutettavuusanalyysifi
dc.subject.keywordSDLen
dc.subject.keywordabstraktiotfi
dc.subject.keywordabstractionen
dc.subject.keywordmallinnusfi
dc.titleCombining Abstraction and Reachability Analysis: A Case Study of the RLC Protocolen
dc.titleSaavutettavuusanalyysin ja abstrahoinnin yhdistely: Tapausanalyysi kolmannen sukupolven radioprotokollan verifioinnistafi
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_39391
local.aalto.idinssi19538
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK