Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров

Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров

Bibliografiske detaljer
Parent link:	Современные техника и технологии: сборник трудов XVIII международной научно-практической конференции студентов, аспирантов и молодых ученых, Томск, 9-13 апреля 2012 г/ Национальный исследовательский Томский политехнический университет (ТПУ).— , 2012 Т. 2.— 2012.— [С. 407-408]
Hovedforfatter:	Стотланд И. А.
Institution som forfatter:	Московский государственный институт радиотехники, электроники и автоматики (Технический университет) (МИРЭА)
Andre forfattere:	Васильев А. Г. (727), Деменкова Т. А.
Summary:	Заглавие с титульного листа
Udgivet:	2012
Serier:	Секция 7: Информатика и управление в технических системах
Fag:	электронный ресурс автоматизация формальные модели верификация системный подход обмен микропроцессоры
Online adgang:	http://www.lib.tpu.ru/fulltext/v/Conferences/2012/C2/V2/v2_200.pdf
Format:	Electronisk Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=225004

Lignende værker

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

Альтернативный подход к верификации средств моделирования электроэнергетических систем
Udgivet: (2019)

Проблемы верификации конституционных норм
af: Оглезнев В. В. Виталий Васильевич
Udgivet: (2014)

Разработка алгоритма верификации DES
af: Кожевников Д. С.
Udgivet: (2015)

ООО САНАК-1. Системный анализ. Автоматический контроль и управление
af: Лернер А. С.
Udgivet: (2002)

Комплекс "ПАССАТ": пример реализации системного подхода в управлении технологическими процессами
af: Мякишев Д. В.
Udgivet: (2004)

Исследование принципов автоматизации проектирования систем управления дорожным движением с использованием микропроцессоров заключительный отчет о НИР тема: 16-009/78
Udgivet: (Томск, 1979)

Программирование встроенных микропроцессоров пер. с англ.
af: Фаулджер Р.
Udgivet: (Москва, Мир, 1985)

Концепция всережимной верификации средств моделирования электроэнергетических систем
af: Гусев А. С. Александр Сергеевич
Udgivet: (2015)

Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов
af: Золкин А. Л.
Udgivet: (Санкт-Петербург, Лань, 2025)

Принцип интерсубъективности и значение верификации знания в неопозитивизме
af: Гончаренко М. В. Марк Васильевич
Udgivet: (2014)

Анализ предприятия с позиций системного подхода
af: Никитин В. И.
Udgivet: (2012)

Применение микропроцессоров в автоматизированных системах учебное пособие для вузов
af: Меньков А. И. Анатолий Иванович
Udgivet: (Москва, Изд-во МАИ, 1990)

Предпосылки использования системного подхода при управлении качеством
af: Киселёв Э. В.
Udgivet: (2003)

Исследование проблемы всережимной верификации средств моделирования электроэнергетических систем
af: Суворов А. А.
Udgivet: (2014)

Применение микропроцессоров в системах управления материалы семинара
Udgivet: (Москва, Знание, 1982)

Основы построения САПР ТП в многономенклатурном машиностроительном производстве учебник
Udgivet: (Старый Оскол, ТНТ, 2013)

Программирование микропроцессоров учебное пособие
af: Волошко А. В. Анатолий Васильевич
Udgivet: (Киев, УМКВО, 1989)

Применение микропроцессоров в управлении и измерении межвузовский тематический сборник
Udgivet: (Москва, Изд-во МЭИ, 1983)

[Вып. 65] : Надежность информационного обмена в вычислительных сетях
Udgivet: (1980)

Проблемы методологии системного исследования
Udgivet: (Москва, Мысль, 1970)

Экологическая подготовка бакалавров в техническом вузе на основе системного подхода
af: Филичев С. А.
Udgivet: (2017)

Методы системного анализа окружающей среды пер. с англ.
af: Пэнтл Р.
Udgivet: (Москва, Мир, 1979)

Проектирование микропроцессоров / ДО 2017 электронный курс
af: Мыцко Е. А. Евгений Алексеевич
Udgivet: (Томск, TPU Moodle, 2021)

Проверенное решение автоматизации тепловых котельных на базе контроллеров МФК
Udgivet: (2003)

Проблема верификации средств моделирования электроэнергетических систем и концепция ее решения
Udgivet: (2017)

Методика гарантированной верификации расчетов режимов и процессов в электроэнергетических системах
af: Суворов А. А. Алексей Александрович
Udgivet: (2016)

Времена меняются, а системное освещение системного подхода остаётся
af: Альперин Л. Лев
Udgivet: (2002)

Инструментальный комплекс для разработки программного обеспечения микропроцессоров материалы по математическому обеспечению ЭВМ
Udgivet: (Минск, Изд-во ИТК, 1986)

Основы теории систем и системного анализа учебное пособие
af: Качала В. В. Вадим Васильевич
Udgivet: (Москва, Горячая линия-Телеком, 2012)

Применение микропроцессоров и мини-ЭВМ для автоматизации коррозионно-электрохимических исследований материалы совещания-семинара, Рига, 21-24 марта 1978 г.
Udgivet: (Рига, Зинатне, 1979)

Проектирование СБИС пер. с япон.
Udgivet: (Москва, Мир, 1988)

Проектирование технологических процессов на основе системного подхода учебное пособие
af: Аверченков В. И. Владимир Иванович
Udgivet: (Брянск, Изд-во БИТМ, 1986)

Азбука системного мышления пер. с англ.
af: Медоуз Д. Х. Донелла
Udgivet: (Москва, БИНОМ. Лаборатория знаний, 2011)

Система и системный подход в менеджменте
af: Платонова А. С.
Udgivet: (2013)

Основы проектирования и верификации цифровых схем учебное пособие
Udgivet: (Томск, Изд-во ТПУ, 2013)

Средства автоматизации программирования микропроцессорных устройств
af: Белов А. М. Александр Михайлович
Udgivet: (Москва, Энергоатомиздат, 1988)

Методы теоретической геологии
Udgivet: (Ленинград, Недра, 1978)

Системный подход к научно-исследовательской работе учебное пособие
af: Казаков Ю. В.
Udgivet: (Тольятти, ТГУ, 2010)

Базовые принципы организации системного программного обеспечения многофункциональных неинвазивных спектрофотометрических диагностических приборов и комплексов
af: Рогаткин Д. А.
Udgivet: (2004)