haku: @keyword ydinvoima / yhteensä: 31
viite: 24 / 31
Tekijä: | Hartikainen, Markus |
Työn nimi: | Turvallisuuskriittisen automaation verifiointi mallintarkastuksella |
Formal verification of safety critical automation with model checking | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 2009 |
Sivut: | 77 s. + liitt. Kieli: fin |
Koulu/Laitos/Osasto: | Elektroniikan, tietoliikenteen ja automaation tiedekunta |
Oppiaine: | Automaation tietotekniikka (AS-116) |
Valvoja: | Koskinen, Kari |
Ohjaaja: | Välisuo, Martti |
OEVS: | Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossaOppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa. Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/ Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.
Kirjautuminen asiakaskoneille
Opinnäytteen avaaminen
Opinnäytteen lukeminen
Opinnäytteen tulostus
|
Sijainti: | P1 Ark Aalto 5137 | Arkisto |
Avainsanat: | model checking nuclear power automation mallintarkastus ydinvoima automaatio |
ED: | 2010-01-22 |
INSSI tietueen numero: 38796
+ lisää koriin
INSSI