TY  - GEN
TY  - GEN
T1  - Combined use of formal methods for reliability assurance of software for safety-critical systems
T2  - Aalto University publication series
A1  - Buzhinskii, Igor, 1992- kirjoittaja
LA  - eng
PP  - Helsinki
PB  - Aalto University
YR  - 2019
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.5418969
NO  - Artikkeliväitöskirjan yhteenveto-osa ja 7 eripainosta.
SN  - 978-952-60-8573-9 nidottu
KW  - automaatio
KW  - valvontajärjestelmät
KW  - mallit (mallintaminen)
KW  - tietokoneohjelmat
KW  - ydinvoimalat
KW  - turvallisuus
KW  - turvajärjestelmät
ER  -