Прверка и утверждение программ реального времени пер. с англ.

Прверка и утверждение программ реального времени, пер. с англ.

Detaylı Bibliyografya
Diğer Yazarlar:	Квирк Уи. Дж. (340)
Baskı/Yayın Bilgisi:	Киев, Наукова думка, 1990
Konular:	реальное время программы характеристики проблемы надежность создание системы проверка утверждение унифицированные среды структурный анализ доказательство тестирование цели имитация
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=241579

Benzer Materyaller

Системное программное обеспечение управляющих систем реального времени учебное пособие
Yazar:: Кавалеров М. В.
Baskı/Yayın Bilgisi: (Пермь, ПНИПУ, 2013)

Введение QNX Neutrino 2: руководство для разработчиков приложений реального времени пер. с англ.
Yazar:: Кертен Р. Роб
Baskı/Yayın Bilgisi: (СПб., БХВ-Петербург, 2005)

Распараллеливание алгоритмов обработки информации в системах реального времени
Yazar:: Грицык В. В. Владимир Владимирович
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1981)

UML. Проектирование систем реального времени, параллельных и распределенных приложений
Yazar:: Гома Х.
Baskı/Yayın Bilgisi: (Москва, ДМК Пресс, 2007)

Методы построения и оптимизации модульных структу при проектировании систем реального времени диссертация на соискание ученой степени доктора технических наук спец. 05.13.01
Yazar:: Погребной В. К. Владимир Кириллович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 1984)

Теория и реализация систем реального времени
Baskı/Yayın Bilgisi: (Москва, Вычислительный центр АН СССР, 1984)

Вычислительные системы реального времени учебное пособие
Yazar:: Ширяев М. В.
Baskı/Yayın Bilgisi: (Москва, РТУ МИРЭА, 2024)

Проектирование информационных систем и баз данных реального времени
Yazar:: Богомольная Г. В.
Baskı/Yayın Bilgisi: (Москва, РТУ МИРЭА, 2023)

Проектирование и создание многомашинных и многопроцессорных систем реального времени материалы семинара
Baskı/Yayın Bilgisi: (Москва, [Б. и.], 1987)

Системы реального времени
Yazar:: Луканов А. С.
Baskı/Yayın Bilgisi: (Самара, Самарский университет, 2020)

Динамическая имитация взаимодействия физических процессов в реальном масштабе времени
Yazar:: Цапко С. Г. Сергей Геннадьевич
Baskı/Yayın Bilgisi: (2006)

Автоматизированное проектирование систем реального времени учебное пособие
Yazar:: Погребной В. К. Владимир Кириллович
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПИ, 1989)

Вычислительные системы реального времени. Часть 1
Yazar:: Зорина Н. В.
Baskı/Yayın Bilgisi: (Москва, РТУ МИРЭА, 2022)

Системы реального времени учеб. пособие
Yazar:: Кобылянский В. Г.
Baskı/Yayın Bilgisi: (Новосибирск, НГТУ, 2015)

Применение математического моделирования при проектировании АСУ реального времени в производстве серной кислоты
Yazar:: Антохов С. В.
Baskı/Yayın Bilgisi: (2004)

Кросс-платформенное программирование в системах реального времени учебник для вузов
Yazar:: Золкин А. Л.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2025)

QNX: кластерные вычисления
Yazar:: Цирюлик О.
Baskı/Yayın Bilgisi: (2004)

Методы и средства обработки информации в системах реального времени сборник научных трудов
Baskı/Yayın Bilgisi: (Киев, Изд-во ИК, 1990)

Real-Time Sowtware
Yazar:: Class R. L. Robert L.
Baskı/Yayın Bilgisi: (New Jersey, Prentice Hall, 1983)

Исследование моделей защиты памяти в операционных системах реального времени
Yazar:: Шуваева Ю. В.
Baskı/Yayın Bilgisi: (2009)

Язык структурного моделирования для проектирования распределённых систем реального времени
Yazar:: Погребной А. В. Александр Владимирович
Baskı/Yayın Bilgisi: (2012)

Выбор архитектуры локальной сети при проектировании распределённой системы реального времени
Yazar:: Погребной А. В. Александр Владимирович
Baskı/Yayın Bilgisi: (2006)

Усилители сигналов для моделей реального времени
Baskı/Yayın Bilgisi: (2013)

Технические и программные средства систем реального времени учебник для вузов
Yazar:: Древс Ю. Г. Юрий Георгиевич
Baskı/Yayın Bilgisi: (Москва, БИНОМ. Лаборатория знаний, 2015)

Алгоритм семантической сегментации изображений в режиме реального времени
Yazar:: Григорьев Д. С. Дмитрий Сергеевич
Baskı/Yayın Bilgisi: (2019)

Операционная система реального времени QNX: от теории к практике
Yazar:: Зыль С. Н. Сергей Николаевич
Baskı/Yayın Bilgisi: (СПб., БХВ-Петербург, 2004)

Инструментарий системы реального времени «СИРИУС-SCADA»
Yazar:: Музипов Х. Н.
Baskı/Yayın Bilgisi: (Тюмень, ТюмГНГУ, 2014)

Базы данных реального времени в системах автоматизации производства
Yazar:: Горин А. Е.
Baskı/Yayın Bilgisi: (2003)

Применение универсальной тестовой программы TESTCOPLEX для автоматизации контроля знаний студентов
Yazar:: Денисенко К. О.
Baskı/Yayın Bilgisi: (2008)

Системы реального времени
Yazar:: Гриценко Ю. Б.
Baskı/Yayın Bilgisi: (Москва, ТУСУР, 2009)

Системы реального времени. Моделирование и автоматизированное проектирование учебное пособие
Yazar:: Погребной В. К. Владимир Кириллович
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2006)

Дистанционный контроль температуры объекта на базе встраиваемой системы реального времени CompactRIO
Yazar:: Силушкин С. В. Станислав Владимирович
Baskı/Yayın Bilgisi: (2009)

Технология проектирования комплексов программ АСУ
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1983)

Методы анализа и оптимизации характеристик технологических алгоритмов при проектировании распределенных систем реального времени диссертация на соискание ученой степени кандидата технических наук
Yazar:: Погребной Д. В. Дмитрий Владимирович
Baskı/Yayın Bilgisi: (Томск, 1999)

Всережимный моделирующий комплекс реального времени электроэнергетических систем
Yazar:: Малькова Я. Ю. Яна Юрьевна
Baskı/Yayın Bilgisi: (2019)

Содержание и некоторый опыт применения обучающей системы в области проектирования систем реального времени
Yazar:: Погребной В. К.
Baskı/Yayın Bilgisi: (1988)

Цифровая имитация автоматизированных систем
Baskı/Yayın Bilgisi: (Москва, Наука, 1983)

Методы анализа и оптимизации характеристик технологических алгоритмов при проектировании распределенных систем реального времени автореферат диссертации на соискание ученой степени кандидата технических наук
Yazar:: Погребной Д. В. Дмитрий Владимирович
Baskı/Yayın Bilgisi: (Томск, [Б. и.], 1999)

Приборы iButton
Yazar:: Николайчук О.
Baskı/Yayın Bilgisi: (2003)

Определение и анализ области состояний модели системы реального времени
Yazar:: Погребной В. К. Владимир Кириллович
Baskı/Yayın Bilgisi: (2010)