Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
2019
Combined use of formal methods for reliability assurance of software for safety-critical systems
Buzhinskii, I., 2019, Aalto University. 189 SivumääräTutkimustuotos: Doctoral Thesis › Collection of Articles