haku: @keyword model checking / yhteensä: 20
viite: 15 / 20
Tekijä: | Latvala, Timo |
Työn nimi: | On Model Checking Safety Properties |
Om modellverfiering av säkerhetsegenskaper | |
Julkaisutyyppi: | Lisensiaatintutkimus |
Julkaisuvuosi: | 2002 |
Sivut: | 64 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Tietojenkäsittelyteoria (T-79) |
Valvoja: | Husberg, Nisse |
Ohjaaja: | |
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 6952 | Arkisto |
Avainsanat: | computer aided verification model checking LTL safety properties abstraction Coloured Petri nets datorstödd verifiering modellverifiering säkerhetsegenskaper abstraktion färgade Petrinät |
ED: | 2003-02-20 |
INSSI tietueen numero: 19329
+ lisää koriin
INSSI