Journal
Scientific and technical journal «Priborostroenie»
UDK004.05
Issue:8 (54)
Download PDF471 Kbyte
The paper presents an approach to the specification of the structural modifications of the onboard software to improve reliability and safety. The basis of the approach is to use the modifications described in graphs, on a graph representation of source code