Model-driven development and verification of fault tolerant systems
Model-driven development and verification of fault tolerant systems
bibbild.abo.fi/ediss/20...d_kashif.pdf
(Åbo Akademis bibliotek)
Sparad:
| Genre | |
|---|---|
| Fysisk beskrivning |
1 verkkoaineisto (157 sivua) |
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Utgivare |
Åbo :
Turku Centre for Computer Science,
2017.
|
| Lärdomsprov | Väitöskirja : Åbo Akademi, 2017 |
| Klassifikation | |
| Mer information | Kashif Javed |
| Annan form |
Painettu: 978-952-12-3552-8 |
| ISBN |
978-952-12-3553-5 PDF |