Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
Tallennettuna:
| Genre | |
|---|---|
| Ulkoasu |
1 verkkoaineisto (165 sivua) |
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Tiivistelmän kieli |
suomi |
| Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa. |
| Julkaisija |
Helsinki :
Aalto University,
2016.
|
| Opinnäyte | Väitöskirja : Aalto-yliopiston perustieteiden korkeakoulu, 2016 |
| Sarja | Aalto University publication series, Doctoral dissertations, ISSN 1799-4942; 2016, 159. VTT Science, ISSN 2242-1203; 133. |
| Luokitus | |
| Aiheet | |
| Lisätiedot | Jussi Lahtinen |
| Painettu |
978-951-38-8448-2 978-952-60-6959-3 |
| Saavutettavuus |
tekstiin perustuva |
| ISBN |
978-952-60-6958-6 PDF Aalto 978-951-38-8447-5 PDF VTT |
| Pääsy | Aineisto on vapaasti saatavissa Aineisto on käytettävissä vapaakappaletyöasemilla |
| Käyttöehdot | Aineisto on käytettävissä tutkimus- ja muihin tarkoituksiin;
Laki kulttuuriaineistojen tallettamisesta ja säilyttämisestä
|