| |
Верификация как средство отладки моделей различного уровня [Текст] / А. Г. Зыков, О. Ф. Немолочнов, Ю. Н. Виноградов, В. И. Поляков
// Изв.ВУЗов.Приборостроение. – 2003. – 46, № 2. – 51-55.
Рассматриваются вопросы верификации иерархических моделей устройств управления цифровых систем |
