haku: @keyword predicate/transition nets / yhteensä: 6
viite: 3 / 6
Tekijä: | Jyrinki, Tero |
Työn nimi: | Dynamical analysis of SDL programs with Predicate/Transition nets |
SDL-ohjelmien dynaaminen analyysi Predikaatti/Transitio-verkoilla | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 1997 |
Sivut: | 68 Kieli: eng |
Koulu/Laitos/Osasto: | Sähkö- ja tietoliikennetekniikan osasto |
Oppiaine: | Digitaalitekniikka (Tik-79) |
Valvoja: | Ojala, Leo |
Ohjaaja: | Husberg, Nisse |
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: | SDL TNSDL translator Predicate/Transition nets reachability analysis SDL TNSDL TNSDL-kääntäjä Predikaatti/Transitio-verkot saavutettavuusanalyysi |
ED: | 1997-06-17 |
INSSI tietueen numero: 12191
+ lisää koriin
INSSI