Библиографическое описание:Иванников, А. Д. Формализация задачи отладки проектов цифровых систем / А. Д. Иванников, А. Л. Стемпковский. - (Моделирование и оптимизация). - Текст : непосредственный // Информационные технологии. - 2014. - № 9. - С. 3-9. - Библиогр.: с. 9 (4 назв.). - ISSN 1684-6400.
Аннотация:Приведена модель требуемого внешнего поведения проектируемой цифровой системы, заданной схемой соединения цифровых блоков и программным обеспечением.
