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