Modellverifiering av säkerhetskritiska automationssystem
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Perustieteiden korkeakoulu |
Bachelor's thesis
Electronic archive copy is available locally at the Harald Herlin Learning Centre. The staff of Aalto University has access to the electronic bachelor's theses by logging into Aaltodoc with their personal Aalto user ID. Read more about the availability of the bachelor's theses.
Authors
Date
2015-11-30
Department
Major/Subject
Tietotekniikka
Mcode
SCI3027
Degree programme
Tietotekniikka TIK
Language
sv
Pages
20
Series
Description
Supervisor
Juho RousuThesis advisor
Heljanko, KeijoKeywords
modellverifiering, säkerhetskritiska automationssystem, model checking, safty critical