Программирование для встроенных систем - статьи
Применение UniTesK к тестированию встроенных систем
.
Труды Института Системного Программирования РАН, 2004 г.
Содержание раздела