Blog

Viewing posts by Alexander Kamkin

Аналитический обзор

Posted by: Alexander Kamkin 1 week, 5 days ago

В рамках первого этапа проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» написан и опубликован «Аналитический обзор современной научно-технической, нормативной, методической литературы, затрагивающей исследуемую научно-техническую проблему».

read more / 0 comments

Открытая конференция ИСП РАН

Posted by: Alexander Kamkin 1 month, 2 weeks ago

Результаты первого этапа проекта «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации» были представлены на Открытой конференции ИСП РАН им. В.П. Иванникова, прошедшей в Москве 5-6 декабря 2019 года.

read more

Начало проекта

Posted by: Alexander Kamkin 1 month, 3 weeks ago

Начат проект «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации», проводимый ИСП РАН в партнерстве с АО «НПО РусБИТех» и ФГУП «ГосНИИАС» при поддержке Министерства науки и высшего образования РФ (уникальный идентификатор проекта: RFMEFI60719X0295).

read more