Козырев Владимир Петрович
Козырев Владимир Петрович — кандидат технических наук, доцент кафедры кибернетики НИЯУ МИФИ, эксперт компании «ДС БАРС».
В докладе рассматривается процесс верификации программ, разрабатываемых в соответствии с требованиями стандартов DO-178B/C, обязательные мероприятия (activities), проводимые в рамках этого процесса, и инструменты, используемые при их проведении. Представляются результаты, полученные в ходе разработки таких инструментов, проводимой в компании «ДС БАРС».
Доклад состоится 20 октября в 17:00 в ИСП РАН.
Наш семинар перемещается в уютное здание Института системного программирования РАН. Он начнется не в 18:00, а в 17:00. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110.
sdat-seminar
Что нужно для прохода на семинар? Нужно ли заранее сообщить о своем намерении участвовать или достаточно просто прийти с паспортом?
Достаточно прийти с паспортом. На входе Вам выпишут разовый пропуск.