${message}

Доказательство надежности алгоритмов в медицинском оборудовании

В данном вебинаре мы рассмотрим как с помощью методов формальной верификации можно доказывать отсутствие RunTime ошибок в встраиваемом программном обеспечении медицинского оборудования.
Поделиться
12 апреля
Вторник
Онлайн

11:00

Прошло

Спикеры

Николай Филаретов

Специализируется на разработке встраиваемого ПО и верификации систем. Закончил С-Пб НИУ ИТМО в 2011 году по специальности «Управление и информатика в технических системах». Имеет опыт работы в MATLAB свыше 7 лет. 

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля