Formaalit menetelmät mutkikkaiden järjestelmien suunnittelun apuna - Rinnakkaisuus hallintaan (Formal Methods for Concurrent Systems)
Publiceringsår
2001
Upphovspersoner
Mäkelä, Marko
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Tidning
Artikelstyp
Annan artikel
Målgrupp
FackligUKM:s publikationstyp
D1 Artikel i en facktidskriftPublikationskanalens uppgifter
Journal
Prosessori
Förläggare
Sanoma Magazines
Nummer
13
Sidor
68-71
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Nyckelord
[object Object],[object Object]
Förlagets internationalitet
Inhemsk
Språk
finska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja