Turvallisuuskriittisen automaation verifiointi mallintarkastuksella

Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Helsinki University of Technology | Master's thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Location:
P1 Ark Aalto

Authors

Date

2009

Department

Elektroniikan, tietoliikenteen ja automaation tiedekunta

Major/Subject

Automaation tietotekniikka

Mcode

AS-116

Degree programme

Language

fi

Pages

77 s. + liitt.

Series

Description

Supervisor

Koskinen, Kari

Thesis advisor

Välisuo, Martti

Keywords

model checking, mallintarkastus, nuclear power, ydinvoima, automation, automaatio

Other note

Citation

Permanent link to this item

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

Collections

[dipl] Teknillinen korkeakoulu / TKK