haku: @keyword saavutettavuusanalyysi / yhteensä: 13
viite: 4 / 13
| Tekijä: | Mäkelä, Marko |
| Työn nimi: | A Reachability Analyser for Algebraic System Nets |
| Saavutettavuusanalysaattori algebrallisille järjestelmäverkoille | |
| Julkaisutyyppi: | Lisensiaatintutkimus |
| Julkaisuvuosi: | 2000 |
| Sivut: | (10) + 96 Kieli: eng |
| Koulu/Laitos/Osasto: | Tietotekniikan 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 Aalto 6945 | Arkisto |
| Avainsanat: | many-sorted algebras algebraic system nets distributed systems reachability analysis monilajialgebrat algebralliset järjestelmäverkot hajautetut järjestelmät saavutettavuusanalyysi |
| ED: | 2000-08-02 |
INSSI tietueen numero: 15712
+ lisää koriin
INSSI