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