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

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

Bibliographische Detailangaben
Parent link:	Современные техника и технологии: сборник трудов XVIII международной научно-практической конференции студентов, аспирантов и молодых ученых, Томск, 9-13 апреля 2012 г/ Национальный исследовательский Томский политехнический университет (ТПУ).— , 2012 Т. 2.— 2012.— [С. 407-408]
1. Verfasser:	Стотланд И. А.
Körperschaft:	Московский государственный институт радиотехники, электроники и автоматики (Технический университет) (МИРЭА)
Weitere Verfasser:	Васильев А. Г. (научный руководитель), Деменкова Т. А.
Zusammenfassung:	Заглавие с титульного листа
Sprache:	Russisch
Veröffentlicht:	2012
Schriftenreihe:	Секция 7: Информатика и управление в технических системах
Schlagworte:	электронный ресурс автоматизация формальные модели верификация системный подход обмен микропроцессоры
Online-Zugang:	http://www.lib.tpu.ru/fulltext/v/Conferences/2012/C2/V2/v2_200.pdf
Format:	Elektronisch Buchkapitel
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=225004

Ähnliche Einträge

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

Альтернативный подход к верификации средств моделирования электроэнергетических систем; Электроэнергетика глазами молодежи - 2019; Т. 1
Veröffentlicht: (2019)

Применение микропроцессоров для автоматизации технологических процессов
von: Вершинин О. Е. Олег Емельянович
Veröffentlicht: (Ленинград, Энергоатомиздат, 1986)

Программирование однокристальных микропроцессоров
von: Григорьев В. Л. Вячеслав Леонидович
Veröffentlicht: (Москва, Энергоатомиздат, 1987)

Предпосылки использования системного подхода при управлении качеством; Справочник. Инженерный журнал; № 7
von: Киселёв Э. В.
Veröffentlicht: (2003)

Проблемы верификации конституционных норм; Журнал российского права; № 10 (214)
von: Оглезнев В. В. Виталий Васильевич
Veröffentlicht: (2014)

Комплекс "ПАССАТ": пример реализации системного подхода в управлении технологическими процессами; Промышленные АСУ и контроллеры; № 8
von: Мякишев Д. В.
Veröffentlicht: (2004)

Анализ предприятия с позиций системного подхода; Энергия молодых - экономике России; Ч. 2
von: Никитин В. И.
Veröffentlicht: (2012)

ООО САНАК-1. Системный анализ. Автоматический контроль и управление; Приборы и системы. Управление, контроль, диагностика; № 2
von: Лернер А. С.
Veröffentlicht: (2002)

Принцип интерсубъективности и значение верификации знания в неопозитивизме; Философия науки; № 2 (61)
von: Гончаренко М. В. Марк Васильевич
Veröffentlicht: (2014)

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

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

Концепция всережимной верификации средств моделирования электроэнергетических систем; Электроэнергетика глазами молодежи; Т. 1
von: Гусев А. С. Александр Сергеевич
Veröffentlicht: (2015)

Разработка алгоритма верификации DES; Неразрушающий контроль: электронное приборостроение, технологии, безопасность; Т. 1
von: Кожевников Д. С.
Veröffentlicht: (2015)

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

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

Программы для микропроцессоров: справочник
von: Гуртовцев А. Л. Аркадий Лазаревич
Veröffentlicht: (Минск, Высшая школа, 1989)

Экологическая подготовка бакалавров в техническом вузе на основе системного подхода; Экология и безопасность в техносфере: современные проблемы и пути решения
von: Филичев С. А.
Veröffentlicht: (2017)

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

Исследование проблемы всережимной верификации средств моделирования электроэнергетических систем; Энергетика: эффективность, надежность, безопасность; Т. 1
von: Суворов А. А.
Veröffentlicht: (2014)

Времена меняются, а системное освещение системного подхода остаётся; Стандарты и качество; № 3
von: Альперин Л. Лев
Veröffentlicht: (2002)

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

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

Применение микропроцессоров в системах управления: пер с нем.
von: Фритч В. Вольфганг
Veröffentlicht: (Москва, Мир, 1984)

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

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

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

Базовые принципы организации системного программного обеспечения многофункциональных неинвазивных спектрофотометрических диагностических приборов и комплексов; Медицинская техника; № 2
von: Рогаткин Д. А.
Veröffentlicht: (2004)

Системное программное обеспечение: учебник
von: Гордеев А. В. Александр Владимирович
Veröffentlicht: (СПб., Питер, 2002)

Методика гарантированной верификации расчетов режимов и процессов в электроэнергетических системах; Интеллектуальные энергосистемы; Т. 2
von: Суворов А. А. Алексей Александрович
Veröffentlicht: (2016)

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

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

Качество подготовки специалистов в вузе, его оценка и обеспечение с позиций системного психолого-педагогического и компетентностного подхода; Модернизация инженерного образования: проблемы и перспективы
von: Соколова И. Ю. Ирина Юрьевна
Veröffentlicht: (2008)

Системный подход к проектированию станков и роботов
von: Глушко В. В. Владимир Васильевич
Veröffentlicht: (Киев, Техника, 1981)

Проблема верификации средств моделирования электроэнергетических систем и концепция ее решения; Вестник Ивановского государственного энергетического университета; № 1
Veröffentlicht: (2017)

Обоснование необходимости применения системного подхода в дизайн-проектировании. Введение предметно-пространственных факторов; Молодежь и современные информационные технологии
von: Шкляр А. В. Алексей Викторович
Veröffentlicht: (2021)

От микропроцессоров к персональным ЭВМ
von: Черемных С. В. Станислав Владимирович
Veröffentlicht: (Москва, Радио и связь, 1988)

Системный подход и общая теория систем
von: Уемов А. И. Авенир Иванович
Veröffentlicht: (Москва, Мысль, 1978)

Система и системный подход в менеджменте; Прогрессивные технологии и экономика в машиностроении
von: Платонова А. С.
Veröffentlicht: (2013)

Построение вычислительных систем на базе перспективных микропроцессоров: пер. с англ.
von: Фрир Дж. Джон
Veröffentlicht: (Москва, Мир, 1990)