Туркін, Ігор Борисович, Національний аерокосмічний університет «ХАІ» імені М.Є. Жуковського, Ukraine
-
Engineering Software Vol. 1 No. 1 (2010) - SOFTWARE TESTING, VALIDATION AND VERIFICATION
SOFTWARE FORMAL VERIFICATION OF TEST AUTOMATION OF THE SPACECRAFT SYSTEMS
Abstract PDF (Українська)