Turvallisuuskriittisen automaation verifiointi mallintarkastuksella
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
2009
Major/Subject
Automaation tietotekniikka
Mcode
AS-116
Degree programme
Language
fi
Pages
77 s. + liitt.
Series
Description
Supervisor
Koskinen, KariThesis advisor
Välisuo, MarttiKeywords
model checking, mallintarkastus, nuclear power, ydinvoima, automation, automaatio