For citations:
Kharlap S.N., Sivko B.V. DEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASES. Dependability. 2016;16(1):66-76. https://doi.org/10.21683/1729-2646-2016-16-1-66-76
Kharlap S.N., Sivko B.V. DEVELOPMENT OF HIGH-RELIABLE SYSTEMS BASED ON THE METHOD OF CROSS CHECK OF AXIOMATIC BASES. Dependability. 2016;16(1):66-76. https://doi.org/10.21683/1729-2646-2016-16-1-66-76