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

Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

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

Authors

Date

1994

Department

Tietotekniikan osasto

Major/Subject

Digitaalitekniikka

Mcode

Tik-79

Degree programme

Language

en

Pages

57

Series

Description

Supervisor

Ojala, Leo

Thesis advisor

Raatikainen, Pertti

Keywords

concurrent and distributed systems, protocol verification, predicate/transition nets, reachability analysis tools, frame synchronized ring

Other note

Citation

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-2020120341241

Collections

[dipl] Teknillinen korkeakoulu / TKK