Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения

, , ,

Препринт Института системного программирования РАН (ИСП РАН)