Preview

Надежность

Расширенный поиск
Полноэкранный режим

Для цитирования:


Харлап С.Н., Сивко Б.В. РАЗРАБОТКА ВЫСОКОНАДЕЖНЫХ СИСТЕМ НА ОСНОВЕ МЕТОДА ВЗАИМНОЙ ПРОВЕРКИ АКСИОМАТИЧЕСКИХ БАЗИСОВ. Надежность. 2016;16(1):66-76. https://doi.org/10.21683/1729-2646-2016-16-1-66-76

For citation:


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. (In Russ.) https://doi.org/10.21683/1729-2646-2016-16-1-66-76

Просмотров: 5


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1729-2646 (Print)
ISSN 2500-3909 (Online)