Formal methods in protocol software processes
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
2000
Department
Major/Subject
Tietotekniikka
Mcode
Tik-86
Degree programme
Language
en
Pages
viii + 83
Series
Description
Supervisor
Mäntylä, MarttiThesis advisor
Mitts, HåkanKeywords
formal methods, formaalit menetelmät, protocol software process, SDL, TTCN, ASN.1, MSC, protokollatuotantoprosessi