Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Сиско Системс Инк.

Листинг всех работ организации. Нажмите на название работы для того, чтобы получить по ней полную информацию.

2016 
 Сохацкий А.А.
Практические аспекты верификации проектов СБИС
2018 
 Татарников Ю.А.
Использование формального метода для улучшения покрытия проекта оцениваемого с помощью метрики «code coverage»
 Сохацкий А.А.
Практические аспекты формальной верификации проектов блоков сетевых СБИС
 

Copyright © 2009-2019 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН