Генерация тестовых программ для подсистемы управления памятью микропроцессора

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