haku: @supervisor Husberg, Nisse / yhteensä: 10
viite: 10 / 10
« edellinen | seuraava »
Tekijä: | Latvala, Timo |
Työn nimi: | Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints |
Modellverifiering för Petrinät med rättvise restriktioner av egenskaper givna i linjär temporallogik | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 2000 |
Sivut: | vi + 45 s. + liitt. 4 Kieli: eng |
Koulu/Laitos/Osasto: | Sähkö- ja tietoliikennetekniikan osasto |
Oppiaine: | Digitaalitekniikka (Tik-79) |
Valvoja: | Husberg, Nisse |
Ohjaaja: | Heljanko, Keijo |
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 S80 | Arkisto |
Avainsanat: | computer aided verification Petri nets model checking fairness Streett automata counterexamples datastödd verifiering modellverifiering Petrinät linjär temporallogik rättvisa Streett-automater motexempel |
ED: | 2000-10-31 |
INSSI tietueen numero: 15908
+ lisää koriin
« edellinen | seuraava »
INSSI