Combined use of formal methods for reliability assurance of software for safety-critical systems
Combined use of formal methods for reliability assurance of software for safety-critical systems
Tallennettuna:
| Ulkoasu |
101 sivua, 90 sivua useina numerointijaksoina : kuvitettu, kaavioita ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Tiivistelmän kieli |
venäjä |
| Huomautukset |
Artikkeliväitöskirjan yhteenveto-osa ja 7 eripainosta. |
| Julkaisija |
Helsinki :
Aalto University,
2019.
|
| Opinnäyte | Väitöskirja : Aalto-yliopisto, sähkötekniikan ja automaation laitos, 2019 |
| Sarja | Aalto University publication series, Doctoral dissertations, ISSN 1799-4934; 2019, 101. |
| Luokitus | |
| Aiheet | |
| Valmistaja | Helsinki : Unigrafia Oy |
| Lisätiedot | Igor Buzhinskii |
| Verkkoaineisto (yhteenveto-osa) |
978-952-60-8574-6 |
| ISBN |
978-952-60-8573-9 nidottu |
| Hae kokoteksti | |