Open AccessMETHODICAL APPROACH FOR EVALUATION OF THE NUMBER UNDETECTED NATURAL SEMANTICS DEFECTS WITH THE REQUIRED DEGREE OF CONFIDENCE IN THE VERIFICATION OF SPACE VEHICLES ON-BOARD COMPUTER SYSTEMS SOFTWARE
Author(s) -
Dmitry S. Viktorov,
E. N. Zhidkov,
R. E. Zhidkov
Publication year - 2018
Publication title -
kosmičeskie apparaty i tehnologii
Language(s) - English
Resource type - Journals
ISSN - 2618-7957
DOI - 10.26732/2618-7957-2018-1-47-52
Subject(s) - semantics (computer science) , computer science , degree (music) , software , space (punctuation) , on board , software engineering , programming language , engineering , operating system , aerospace engineering , physics , acoustics