Библиографическая ссылка:
Жарко Е.Ф. Верификация и кибербезопасность программного обеспечения систем важных для безопасности АЭС / Труды 13-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2020, Москва). М.: ИПУ РАН, 2020. С. 1374-1380.