haku: @keyword model checking / yhteensä: 20
viite: 5 / 20
Tekijä: | Frits, Juho |
Työn nimi: | Model checking embedded control software |
Sulautetun ohjelmiston mallintarkastus | |
Julkaisutyyppi: | Diplomityö |
Julkaisuvuosi: | 2010 |
Sivut: | 53 s. + liitt. Kieli: eng |
Koulu/Laitos/Osasto: | Elektroniikan, tietoliikenteen ja automaation tiedekunta |
Koulutusohjelma: | Automaatio- ja systeemitekniikan tutkinto-ohjelma |
Oppiaine: | Tietojenkäsittelyteoria (T-119) |
Valvoja: | Niemelä, Ilkka |
Ohjaaja: | Niemelä, Ilkka |
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 5124 | Arkisto |
Avainsanat: | model checking embedded software real-time mallintarkastus sulautettu ohjelmisto reaaliaika |
ED: | 2010-04-15 |
INSSI tietueen numero: 39482
+ lisää koriin
INSSI