The modelling and analysis of a high speed data bus with predicate/transition nets

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorRaatikainen, Pertti 
dc.contributor.authorPyssysalo, Tino
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2020-12-03T18:14:50Z
dc.date.available2020-12-03T18:14:50Z
dc.date.issued1994 
dc.format.extent57 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/82403
dc.identifier.urnURN:NBN:fi:aalto-2020120341241
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordconcurrent and distributed systemsen
dc.subject.keywordprotocol verificationen
dc.subject.keywordpredicate/transition netsen
dc.subject.keywordreachability analysis toolsen
dc.subject.keywordframe synchronized ringen
dc.titleThe modelling and analysis of a high speed data bus with predicate/transition netsen
dc.titleNopean väylän mallittaminen ja analysointi predikaatti-transitioverkoillafi
dc.type.okmG2 Pro gradu, diplomityö 
dc.type.ontasotMaster's thesisen
dc.type.ontasotPro gradu -tutkielmafi
dc.type.publicationmasterThesis 
local.aalto.digiauthask
local.aalto.digifolderAalto_70760
local.aalto.idinssi9253
local.aalto.inssilocationP1 Ark T80
local.aalto.openaccessno

Files

Collections

[dipl] Teknillinen korkeakoulu / TKK