search query: @keyword model checking / total: 20
reference: 1 / 20
« previous | next »
Author: | Henriksson, Oscar |
Title: | Modellverifiering av säkerhetskritiska automationssystem |
Publication type: | Bachelor's thesis |
Publication year: | 2015 |
Pages: | 20 Language: swe |
Department/School: | Tietotekniikan laitos |
Degree programme: | Tietotekniikan koulutusohjelma |
Main subject: | Tietotekniikka (SCI3027) |
Supervisor: | Rousu, Juho |
Instructor: | Heljanko, Keijo |
Electronic version URL: | http://urn.fi/URN:NBN:fi:aalto-201601271139 |
Location: | |
Keywords: | modellverifiering säkerhetskritiska automationssystem model checking safty critical |
ED: | 2016-02-21 |
INSSI record number: 52971
+ add basket
« previous | next »
INSSI