Yhteyspohjaisten tietoliikenneprotokollien mallintamisesta ja analysoinnista
No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Author
Date
1995
Department
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
fi
Pages
vii + 57 s. + liitt.
Series
Description
Supervisor
Ojala, LeoKeywords
Petri net, Petri-verkko, protocol, protokolla, X.224, OSI, ISO 8073, saavutettavuusanalyysi, reachability analysis, väistämättömyysanalyysi, inevitability analysis
