haku: @keyword SDL / yhteensä: 20
viite: 2 / 20
| Tekijä: | Aalto, Annikka |
| Työn nimi: | Automatic Translation of SDL into High Level Petri Nets |
| SDL:llä esitettyjen järjestelmäkuvausten kääntäminen korkean tason Petri-verkoiksi | |
| Julkaisutyyppi: | Diplomityö |
| Julkaisuvuosi: | 2004 |
| Sivut: | 74 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 | Arkisto |
| Avainsanat: | SDL high-level Petri nets reachability analysis SDL korkean tason Petri-verkot saavutettavuusanalyysi |
| ED: | 2005-01-24 |
INSSI tietueen numero: 26679
+ lisää koriin
INSSI