Rigorous development of safety-critical systems
Rigorous development of safety-critical systems
Tallennettuna:
Genre | |
---|---|
Ulkoasu |
Yhteenveto-osa julkaistu myös verkkoaineistona x, 81 sivua, 175 sivua useina numerointijaksoina : kuvitettu ; 25 cm |
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Tiivistelmän kieli |
ruotsi |
Huomautukset |
Sammanfattning + 7 artiklar Artikkeliväitöskirjan yhteenveto-osa ja 7 eripainosta. |
Julkaisija |
Turku :
Turku Centre for Computer Science,
2015.
|
Opinnäyte | Väitöskirja : Åbo Akademi, luonnontieteiden ja tekniikan tiedekunta, 2015 |
Sarja | TUCs dissertations, ISSN 1239-1883; no 193. |
Luokitus | |
Aiheet | |
Valmistaja | Åbo : Painosalama Oy |
Lisätiedot | Yuliya Prokhorova |
Sammanfattning |
978-952-12-3174-2 |
Verkkoaineisto (yhteenveto-osa) |
978-952-12-3174-2 |
ISBN |
978-952-12-3173-5 pehmeäkantinen |
Hae kokoteksti |