Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения

, ,
Труды Института системного программирования РАН