" "
" "


:   . ., . ., . .
:  
. :  0421200023\0052
:  39
:  
:  2012
:   . ., . ., . . / . 39. .: , 2012. .288-299.
:   , , ,
(.):  control software, spacecraft, program verification, program testing
:   , .
(.):  The problem is considered of reliable control software development for Aerospace Industry. The state-of-the-art is described and possible ways to increase quality, reliability and safety of the critical software are proposed.

PDF
-

: 4831, : 1668, : 9.


© 2007.