Dynamical analysis of SDL programs with Predicate/Transition nets
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
Instructions for the author
Authors
Date
1997
Department
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
en
Pages
68
Series
Description
Supervisor
Ojala, LeoThesis advisor
Husberg, NisseKeywords
SDL, SDL, TNSDL translator, TNSDL, Predicate/Transition nets, TNSDL-kääntäjä, reachability analysis, Predikaatti/Transitio-verkot, saavutettavuusanalyysi