haku: @keyword model checking / yhteensä: 20
viite: 1 / 20
« edellinen | seuraava »
Tekijä: | Henriksson, Oscar |
Työn nimi: | Modellverifiering av säkerhetskritiska automationssystem |
Julkaisutyyppi: | Kandidaatintyö |
Julkaisuvuosi: | 2015 |
Sivut: | 20 Kieli: swe |
Koulu/Laitos/Osasto: | Tietotekniikan laitos |
Koulutusohjelma: | Tietotekniikan koulutusohjelma |
Oppiaine: | Tietotekniikka (SCI3027) |
Valvoja: | Rousu, Juho |
Ohjaaja: | Heljanko, Keijo |
Elektroninen julkaisu: | http://urn.fi/URN:NBN:fi:aalto-201601271139 |
Sijainti: | |
Avainsanat: | modellverifiering säkerhetskritiska automationssystem model checking safty critical |
ED: | 2016-02-21 |
INSSI tietueen numero: 52971
+ lisää koriin
« edellinen | seuraava »
INSSI