For example,Бобцов

APPROACH TO STRUCTURE MODIFICATION SPECIFICATION OF ON-BOARD PROGRAM SUPPORT CODE

Annotation

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

Keywords

Articles in current issue