микроконтроллерВерификация процедур генерации и загрузки прикладных программ систем безопасности атомных электростанций методом обратного преобразования 22.06.2018 2018 - №02 Моделирование процессов в объектах ядерной энергетики М.А. Белоносов В.Л. Кишкин С.А. Королев