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

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

Chi tiết về thư mục
Tác giả khác:	Квирк Уи. Дж. (редактор)
Ngôn ngữ:	Tiếng Nga
Được phát hành:	Киев, Наукова думка, 1990
Những chủ đề:	Вычислительные системы реального времени > Программы реальное время программы характеристики проблемы надежность создание системы проверка утверждение унифицированные среды структурный анализ доказательство тестирование цели имитация
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=241579

Những quyển sách tương tự

Системное программное обеспечение управляющих систем реального времени учебное пособие
Bằng: Кавалеров М. В.
Được phát hành: (Пермь, ПНИПУ, 2013)

Введение QNX Neutrino 2: руководство для разработчиков приложений реального времени: пер. с англ.
Bằng: Кертен Р. Роб
Được phát hành: (СПб., БХВ-Петербург, 2005)

Распараллеливание алгоритмов обработки информации в системах реального времени
Bằng: Грицык В. В. Владимир Владимирович
Được phát hành: (Киев, Наукова думка, 1981)

UML. Проектирование систем реального времени, параллельных и распределенных приложений
Bằng: Гома Х.
Được phát hành: (Москва, ДМК Пресс, 2007)

Теория и реализация систем реального времени
Được phát hành: (Москва, Вычислительный центр АН СССР, 1984)

Вычислительные системы реального времени учебное пособие
Bằng: Ширяев М. В.
Được phát hành: (Москва, РТУ МИРЭА, 2024)

Проектирование информационных систем и баз данных реального времени
Bằng: Богомольная Г. В.
Được phát hành: (Москва, РТУ МИРЭА, 2023)

Методы построения и оптимизации модульных структу при проектировании систем реального времени: диссертация на соискание ученой степени доктора технических наук; спец. 05.13.01
Bằng: Погребной В. К. Владимир Кириллович
Được phát hành: (Томск, [Б. и.], 1984)

Проектирование и создание многомашинных и многопроцессорных систем реального времени: материалы семинара
Được phát hành: (Москва, [Б. и.], 1987)

Вычислительные системы реального времени. Часть 1
Bằng: Зорина Н. В.
Được phát hành: (Москва, РТУ МИРЭА, 2022)

Системы реального времени
Bằng: Луканов А. С.
Được phát hành: (Самара, Самарский университет, 2020)

Системы реального времени учеб. пособие
Bằng: Кобылянский В. Г.
Được phát hành: (Новосибирск, НГТУ, 2015)

Автоматизированное проектирование систем реального времени: учебное пособие
Bằng: Погребной В. К. Владимир Кириллович
Được phát hành: (Томск, Изд-во ТПИ, 1989)

Отображение информации в АСУ реального времени
Được phát hành: (Томск, Изд-во Томского ун-та, 1993)

Кросс-платформенное программирование в системах реального времени учебник для вузов
Bằng: Золкин А. Л.
Được phát hành: (Санкт-Петербург, Лань, 2025)

Применение математического моделирования при проектировании АСУ реального времени в производстве серной кислоты; Промышленные АСУ и контроллеры; № 4
Bằng: Антохов С. В.
Được phát hành: (2004)

Динамическая имитация взаимодействия физических процессов в реальном масштабе времени; Исследование, разработка и применение высоких технологий в промышленности. Высокие технологии, фундаментальные и прикладные исследования, образование; Т. 5 : сборник трудов второй Международной научно-практической конференции, 07-09 февраля 2006 г., Санкт-Петербург
Bằng: Цапко С. Г. Сергей Геннадьевич
Được phát hành: (2006)

Методы и средства обработки информации в системах реального времени: сборник научных трудов
Được phát hành: (Киев, Изд-во ИК, 1990)

Операционная система реального времени QNX: от теории к практике
Bằng: Зыль С. Н. Сергей Николаевич
Được phát hành: (СПб., БХВ-Петербург, 2004)

QNX: кластерные вычисления; Современные технологии автоматизации; № 3
Bằng: Цирюлик О.
Được phát hành: (2004)

Real-Time Sowtware
Bằng: Class R. L. Robert L.
Được phát hành: (New Jersey, Prentice Hall, 1983)

Инструментарий системы реального времени «СИРИУС-SCADA»
Bằng: Музипов Х. Н.
Được phát hành: (Тюмень, ТюмГНГУ, 2014)

Технические и программные средства систем реального времени: учебник для вузов
Bằng: Древс Ю. Г. Юрий Георгиевич
Được phát hành: (Москва, БИНОМ. Лаборатория знаний, 2015)

Язык структурного моделирования для проектирования распределённых систем реального времени; Молодежь и современные информационные технологии
Bằng: Погребной А. В. Александр Владимирович
Được phát hành: (2012)

Исследование моделей защиты памяти в операционных системах реального времени; Молодежь и современные информационные технологии; Ч. 1
Bằng: Шуваева Ю. В.
Được phát hành: (2009)

Выбор архитектуры локальной сети при проектировании распределённой системы реального времени; Современные техника и технологии; Т. 2
Bằng: Погребной А. В. Александр Владимирович
Được phát hành: (2006)

Системы реального времени
Bằng: Гриценко Ю. Б.
Được phát hành: (Москва, ТУСУР, 2009)

Алгоритм семантической сегментации изображений в режиме реального времени; Молодежь и современные информационные технологии
Bằng: Григорьев Д. С. Дмитрий Сергеевич
Được phát hành: (2019)

Системы реального времени. Моделирование и автоматизированное проектирование: учебное пособие
Bằng: Погребной В. К. Владимир Кириллович
Được phát hành: (Томск, Изд-во ТПУ, 2006)

Технология проектирования комплексов программ АСУ
Được phát hành: (Москва, Радио и связь, 1983)

Базы данных реального времени в системах автоматизации производства; Промышленные АСУ и контроллеры; № 12
Bằng: Горин А. Е.
Được phát hành: (2003)

Применение универсальной тестовой программы TESTCOPLEX для автоматизации контроля знаний студентов; Труды XII региональной научно-практической конференции студентов и учащейся молодежи "Прогрессивные технологии и экономика в машиностроении"
Bằng: Денисенко К. О.
Được phát hành: (2008)

Методы анализа и оптимизации характеристик технологических алгоритмов при проектировании распределенных систем реального времени: диссертация на соискание ученой степени кандидата технических наук
Bằng: Погребной Д. В. Дмитрий Владимирович
Được phát hành: (Томск, 1999)

Дистанционный контроль температуры объекта на базе встраиваемой системы реального времени CompactRIO; Современные техника и технологии; Т. 1
Bằng: Силушкин С. В. Станислав Владимирович
Được phát hành: (2009)

Методы анализа и оптимизации характеристик технологических алгоритмов при проектировании распределенных систем реального времени: автореферат диссертации на соискание ученой степени кандидата технических наук
Bằng: Погребной Д. В. Дмитрий Владимирович
Được phát hành: (Томск, [Б. и.], 1999)

Многоуровневые информационно-управляющие системы реального времени для топливно-энергетического комплекса России: монография
Được phát hành: (Нижний Новгород, Изд-во Нижегородского ун-та, 2007)

Операционная система реального времени QNX Neutrino 6.3. Системная архитектура: пер. с англ.
Được phát hành: (Санкт-Петербург, БХВ-Петербург, 2005)

Приборы iButton; Схемотехника; № 11
Bằng: Николайчук О.
Được phát hành: (2003)

Инструментарий системы реального времени «СИРИУС-SCADA» учебное учебное пособие для студентов вузов, обучающихся по направлению подготовки 220400 «управление в технических системах»пособие для студентов вузов, обучающихся по направлению подготовки 220400 «управление в технических системах»
Bằng: Музипов Х. Н.
Được phát hành: (Тюмень, ТюмГНГУ, 2014)

Цифровая имитация автоматизированных систем
Được phát hành: (Москва, Наука, 1983)