Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана

Подробное описание документа

   Статья

Андреев А. Г., Казаков Г. В., Корянов В. В.
   Методический подход к выявлению программных закладок в специальном программном обеспечении систем критических приложений / Андреев А. Г., Казаков Г. В., Корянов В. В. // Академические чтения по космонавтике, посвящённые памяти академика С. П. Королёва и других выдающихся отечественных учёных-пионеров освоения космического пространства, 45-е, 30 марта - 2 апреля 2021 года : сборник тезисов : в 4 т. / Российская академия наук, Государственная корпорация по космической деятельности "Роскосмос", Комиссия РАН по разработке научного наследия пионеров освоения космического пространства, МГТУ им. Н. Э. Баумана (национальный исследовательский ун-т). - 2021. - Т. 3. - С. 73-77.

Статья опубликована в следующих изданиях

с. 73-77
   Академические чтения по космонавтике, посвящённые памяти академика С. П. Королёва и других выдающихся отечественных учёных-пионеров освоения космического пространства, 45-е, 30 марта - 2 апреля 2021 года : сборник тезисов : в 4 т. / Российская академия наук, Государственная корпорация по космической деятельности "Роскосмос", Комиссия РАН по разработке научного наследия пионеров освоения космического пространства, МГТУ им. Н. Э. Баумана (национальный исследовательский ун-т). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2021. - ISBN 978-5-7038-5634-5.
   Т. 3. - 2021. - 491 с. - Библиогр. в конце докладов. - ISBN 978-5-7038-5668-0.