Model checking large nuclear power plant safety system designs
Model checking large nuclear power plant safety system designs
Tallennettuna:
Genre | |
---|---|
Ulkoasu |
159 sivua, 60 sivua useina numerointijaksoina : kuvitettu ; 25 cm Yhteenveto-osa julkaistu myös verkkoaineistona |
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Tiivistelmän kieli |
suomi |
Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
Julkaisija |
Helsinki :
Aalto University,
[2016]
|
Opinnäyte | Väitöskirja : Aalto-yliopiston perustieteiden korkeakoulu, 2016 |
Sarja | Aalto University publication series, Doctoral dissertations, ISSN 1799-4934; 2016, 159. VTT Science, ISSN 2242-119X; 133. |
Luokitus | |
Aiheet | |
Valmistaja | Helsinki : Unigrafia, 2016. |
Lisätiedot | Jussi Lahtinen |
Verkkoaineisto (yhteenveto-osa, Aalto, PDF) |
978-952-60-6958-6 |
Verkkoaineisto (yhteenveto-osa, VTT, PDF) |
978-951-38-8447-5 |
ISBN |
978-952-60-6959-3 nidottu Aalto 978-951-38-8448-2 nidottu VTT |
Hae kokoteksti |