VHDL-симулятор как средство верификации поведенческих моделей блоков встроенных систем; Автоматизация и современные технологии; № 1

VHDL-симулятор как средство верификации поведенческих моделей блоков встроенных систем; Автоматизация и современные технологии; № 1

Bibliographic Details
Parent link:	Автоматизация и современные технологии: межотраслевой научно-технический журнал.— , 1992-.— 0869-4931 № 1.— 2002.— С. 7-11
Main Author:	Третьяков В. Е.
Other Authors:	Шарипова Н. Н., Завадская Э. А.
Language:	Russian
Published:	2002
Series:	Автоматизация и механизация научно-исследовательских и производственных процессов
Subjects:	модели языки моделирования автоматизация триггеры
Format:	Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=380788

Similar Items

Применение объектного моделирования с использованием UML и анализ прецедентов: На примере книжного Internet - магазина
by: Розенберг Д. Дуг
Published: (Москва, ДМК, 2002)

Языки моделирования: пер. с чешск.
by: Киндлер Е. Евжен
Published: (Москва, Энергоатомиздат, 1985)

Теория языков и автоматизация программирования: сборник научных трудов
Published: (Киев, Изд-во АН УкрССР ин-т кибернетики, 1986)

Язык UML. Руководство пользователя: пер. с англ.
by: Буч Г. Грэди
Published: (Москва, ДМК Пресс, 2007)

Моделирование на GPSS: пер. с англ.
by: Шрайбер Т. Дж. Томас Дж.
Published: (Москва, Машиностроение, 1980)

UML: первое знакомство. Пособие для подготовки к сдаче теста UMO -100 (OMG Certified UML Professional Fundamental): учебное пособие
by: Бабич А. В. Александр Викторович
Published: (Москва, Интернет-Университет информационных технологий, 2008)

Прикладные методы верификации программ
by: Непомнящий В. А. Валерий Александрович
Published: (Москва, Радио и связь, 1988 )

Опыт использования унифицированного языка моделирования (UML) в обеспечении образовательного процесса в высших учебных заведениях; Научно-методическое обеспечение образовательного процесса в условиях непрерывного обучения
by: Важдаев А. Н. Андрей Николаевич
Published: (2005)

Моделирование и формализация: Методическое пособие
by: Бешенков С. А. Сергей Александрович
Published: (Москва, Лаборатория Базовых Знаний, 2002)

Самоучитель UML 2
by: Леоненков А. В. Александр В.
Published: (СПб., БХВ-Петербург, 2007)

Унифицированный процесс разработки программного обеспечения: пер. с англ.
by: Якобсон А. Айвар
Published: (СПб., Питер, 2002)

Технология системного моделирования
Published: (Москва, Машиностроение, 1988)

Объектно-ориентированный анализ и проектирование с использованием UML и IBM Rational Rose: учебное пособие
by: Леоненков А. В. Александр Васильевич
Published: (Москва, БИНОМ. Лаборатория знаний, 2010)

VHDL 101: Everything you need to know to get started
by: Kafig W. William
Published: (Amsterdam, Elsevier, 2011)

Многоязыковая транслирующая система
Published: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)

Программное моделирование систем: учебное пособие
by: Тузовский А. Ф. Анатолий Федорович
Published: (Томск, Изд-во ТПИ, 1988)

Программная реализация перестраиваемых автоматов; Теплофизические основы энергетических технологий
by: Савельева Е. С.
Published: (2009)

Сравнительный анализ языков архитектурного моделирования ArchiMate и SysML; Молодежь и современные информационные технологии
by: Станкевич Ф. В. Филипп Владимирович
Published: (2013)

Software system architecture for corporate user support; Journal of Physics: Conference Series; Vol. 803 : Information Technologies in Business and Industry (ITBI2016)
by: Sukhopluyeva V. S. Viktoriia Sergeevna
Published: (2017)

Объектно-ориентированное программирование в Visual Basic .NET
by: Кларк Д. Дэн
Published: (СПб., Питер, 2003)

Программа моделирования антенн MMANA; Радио; № 1
Published: (2002)

Инструментальный комплекс программирования на основе языков высокого уровня
by: Левин Д. Я. Давид Яковлевич
Published: (Москва, Наука, 1987)

Статистическое моделирование систем телетрафика
by: Ионин Г. Л. Герард Лонгинович
Published: (Москва, Радио и связь, 1982)

Проектирование баз данных и UML: пер. с англ.
by: Мюллер Р. Дж. Роберт Дж.
Published: (Москва, Лори, 2013)

Использование шаблонов HDL-редактора при создании описаний цифровых устройств с помощью языка VHDL; Схемотехника; № 3
by: Зотов В. Валерий
Published: (2003)

Методы построения алгоритмических моделей сложных систем: межвузовский тематический научный сборник; Вып. 2
Published: (Таганрог, Изд-во ТРТИ, 1977)

Методы построения алгоритмических моделей сложных систем: межвузовский научно-технический сборник; Вып. 1
Published: (Таганрог, Изд-во ТРТИ, 1976)

Использование шаблонов HDL-редактора при создании описаний цифровых устройств с помощью языка VHDL; Схемотехника; № 4
by: Зотов В.
Published: (2003)

Принципы разработки объектно-ориентированных оконных интерфейсов WEB-браузеров с использованием встроенных скриптовых языков программирования; Молодежь и современные информационные технологии
by: Аверкин Д. Е.
Published: (2006)

Автоматизация математического моделирования структурного описания деталей; Промышленные АСУ и контроллеры; № 11
Published: (2004)

Автоматизация моделирования линейных непрерывных САУ в системе МАРС; Приборы и системы. Управление, контроль, диагностика; № 9
by: Зайченко Т. Н.
Published: (2004)

UML для простых смертных: пер. с англ.
by: Максимчук Р. А. Роберт А.
Published: (Москва, Лори, 2014)

Научно-методические аспекты создания расчетных моделей грунтовых оснований; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 1: Науки о Земле
by: Строкова Л. А. Людмила Александровна
Published: (2010)

33 схемы на триггерах: пер. с болг.
by: Димитрова М. И. Мария Илиева
Published: (Москва, Энергоатомиздат, 1988)

Симулятор двухфазной фильтрации: программа; учебное пособие
by: Иванов А. В. Александр Владимирович
Published: (Томск, 2009)

Автоматизация проектирования: [тематический сборник]
Published: (Москва, Изд-во МЭИ, 1975)

Проектирование информационных систем: учебное пособие
by: Грекул В. И. Владимир Иванович
Published: (Москва, БИНОМ. Лаборатория знаний, 2008)

Задачи по проектированию логических схем с использованием языка VHDL: учебное пособие для вузов
by: Бибило П. Н. Петр Николаевич
Published: (Москва, Изд-во ЛКИ, 2015)

Визуальный язык как средство коммуникации в системе "человек-машина"; Информационное общество; № 3
Published: (2014)

Моделирование цифровых систем на языке VHDL; Концепция моделирования на уровне ИС: пер. с англ.
by: Армстронг Дж. Р. Джеймс Р.
Published: (Москва, Мир, 1992)