haku: @keyword TTCN / yhteensä: 14
viite: 6 / 14
| Tekijä: | Heiskanen, Lauri |
| Työn nimi: | Formal methods in protocol software processes |
| Formaalit menetelmät protokolla ohjelmisto tuotannossa | |
| Julkaisutyyppi: | Diplomityö |
| Julkaisuvuosi: | 2000 |
| Sivut: | viii + 83 Kieli: eng |
| Koulu/Laitos/Osasto: | Sähkö- ja tietoliikennetekniikan osasto |
| Oppiaine: | Tietotekniikka (Tik-86) |
| Valvoja: | Mäntylä, Martti |
| Ohjaaja: | Mitts, Håkan |
| 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: | formal methods protocol software process formaalit menetelmät SDL TTCN ASN.1 MSC protokollatuotantoprosessi |
| ED: | 2000-06-19 |
INSSI tietueen numero: 15552
+ lisää koriin
INSSI