Yhteyspohjaisten tietoliikenneprotokollien mallintamisesta ja analysoinnista

No Thumbnail Available

URL

Journal Title

Journal ISSN

Volume Title

Helsinki University of Technology | Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author

Date

1995

Major/Subject

Digitaalitekniikka

Mcode

Tik-79

Degree programme

Language

fi

Pages

vii + 57 s. + liitt.

Series

Description

Supervisor

Ojala, Leo

Keywords

Petri net, Petri-verkko, protocol, protokolla, X.224, OSI, ISO 8073, saavutettavuusanalyysi, reachability analysis, väistämättömyysanalyysi, inevitability analysis

Other note

Citation