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

Сохацкий А.А.

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

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

2016 
  Сохацкий А.А.
Практические аспекты верификации проектов СБИС
2018 
  Сохацкий А.А.
Практические аспекты формальной верификации проектов блоков сетевых СБИС
2020 
  Сохацкий А.А.
Использование формальных методов для решения актуальных проблем верификации проектов СБИС
 

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

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