Model-driven development and verification of fault tolerant systems
Model-driven development and verification of fault tolerant systems
Sparad:
Genre | |
---|---|
Fysisk beskrivning |
xii, 87 sivua, 58 sivua useina numerointijaksoina : kuvitettu ; 25 cm |
Språk |
engelska |
Originalverkets språk |
engelska |
Beskrivning |
Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta. |
Utgivare |
Åbo :
Turku Centre for Computer Science,
2017.
|
Lärdomsprov | Väitöskirja : Åbo Akademi, 2017 |
Serie | TUCS dissertations, ISSN 1239-1883; no 223. |
Klassifikation | |
Ämnen | |
Tillverkare | Åbo : Painosalama Oy |
Mer information | Kashif Javed |
Annan form |
Verkkoaineisto: 978-952-12-3553-5 |
ISBN |
978-952-12-3552-8 pehmeäkantinen |