haku: @instructor Heljanko, Keijo / yhteensä: 44
viite: 41 / 44
Tekijä: | Tauriainen, Heikki |
Työn nimi: | On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata |
Lineaarisen ajan temporaalilogiikan kääntäminen alternoiviksi ja epädeterministisiksi automaateiksi | |
Julkaisutyyppi: | Lisensiaatintutkimus |
Julkaisuvuosi: | 2003 |
Sivut: | 116 Kieli: eng |
Koulu/Laitos/Osasto: | Tietotekniikan osasto |
Oppiaine: | Tietojenkäsittelyteoria (T-119) |
Valvoja: | Niemelä, Ilkka |
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 T80 | Arkisto |
Avainsanat: | linear temporal logic alternating automata automata minimization nested depth-first search lineaarisen ajan temporaalilogiikka alternoivat automaatit automaattien sieventäminen sisäkkäinen syvyyshaku |
ED: | 2003-12-16 |
INSSI tietueen numero: 21030
+ lisää koriin
INSSI