00893naa#a2200181#i#450# RU\\bibl\81797 20240916233640.1 2412-9186 20151225b2015####ek#y0rusy0150####ca RUS RU АКСИОМАТИКО-БАЗИСНЫЙ ПОДХОД ДЛЯ РАЗРАБОТКИ БЕЗОПАСНЫХ И ОТКАЗОУСТОЙЧИВЫХ СИСТЕМ Журнальная статья Санкт-Петербург ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I" 2015 18 с. Журнальная статья local Устойчивость к ошибкам, живучесть. 004.052.2 RUS СИВКО Борис Витальевич atjournal.ru