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

11:00

Прошло

Спикеры

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

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

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

Сферы применения

Поделиться

${message}

${message}