Process algebraic methods in specifying and analysing

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorRautila, Mika
dc.contributor.departmentSähkötekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2020-12-03T18:23:30Z
dc.date.available2020-12-03T18:23:30Z
dc.date.issued1994 
dc.format.extent66 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/82569
dc.identifier.urnURN:NBN:fi:aalto-2020120341407
dc.language.isofien
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordformal methodsen
dc.subject.keywordformaalit määritysmenetelmätfi
dc.subject.keywordprocess algebraen
dc.subject.keywordprosessialgebrafi
dc.subject.keywordCCSen
dc.subject.keywordälyverkotfi
dc.subject.keywordintelligent networksen
dc.titleProcess algebraic methods in specifying and analysingen
dc.titleProsessialgebran käyttö älyverkkopalveluiden määrityksessä ja analysoinnissafi
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_37649
local.aalto.idinssi9442
local.aalto.openaccessno

Files

Collections

[dipl] Teknillinen korkeakoulu / TKK