Верификация моделей программ: Model Checking: пер. с англ.

Верификация моделей программ: Model Checking: пер. с англ.

Bibliographic Details
Main Author:	Кларк, мл. Э. М. Эдмунд М.
Other Authors:	Грамберг О. Орна, Пелед Д. Дорон
Language:	Russian
Published:	Москва, МЦНМО, 2002
Subjects:	вычислительная математика параллельные системы моделирование темпоральные логики верификация теория автоматов диаграммы редукция эквивалентность квазипорядки абстракция симметрия конечные системы дискретное время количественный анализ непрерывное реальное время
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58736

Similar Items

UML; Проектирование систем реального времени, параллельных и распределенных приложений: пер. с англ.
by: Гома Х. Хассан
Published: (Москва, ДМК Пресс, 2002)

Адаптивное управление
by: Срагович В. Г. Владимир Григорьевич
Published: (Москва, Наука, 1981)

Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы
by: Липцер Р. Ш. Роберт Шевилевич
Published: (Москва, Наука, 1974)

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

Введение в теорию конечных автоматов: пер. с англ.
by: Гилл А. Артур
Published: (Москва, Наука, 1966)

Последовательное управление по неполным данным. Байесовский подход
by: Пресман Э. Л. Эрнст Львович
Published: (Москва, Наука, 1982)

Временная система ваховского диалекта хантыйского языка по материалам современных полевых исследований; Язык и культура; № 57
by: Воробьёва В. В. Виктория Владимировна
Published: (2022)

Теория случайных процессов
by: Булинский А. В. Александр Вадимович
Published: (Москва, Физматлит, 2003)

Системная информатика: Сборник научных трудов; Вып. 7; Проблемы теории и методологии создания параллельных и распределенных систем
Published: (Новосибирск, Наука, 2000)

Прикладная спектральная теория оценивания
by: Перов В. П. Виталий Павлович
Published: (Москва, Наука, 1982)

КП или мКП; Некоммутативная математика лагранжевых, гамильтоновых и интегрируемых систем: пер. с англ.
by: Купершмидт Б. А. Борис А.
Published: (Москва, Регулярная и хаотическая динамика, 2002)

Введение в теорию абстрактных автоматов: учебное пособие для университетов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Изд-во МГУ, 1985)

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

Теория гармонизации: опыт когнитивного анализа переводческого пространства
by: Кушнина Л. В.
Published: (Пермь, ПНИПУ, 2008)

Структурированные системы переходов
by: Кузьмин Е. В. Егор Владимирович
Published: (Москва, Физматлит, 2006)

UML. Проектирование систем реального времени, параллельных и распределенных приложений
by: Гома Х.
Published: (Москва, ДМК Пресс, 2007)

Анализ моделей элементов энергосистем цифрового симулятора реального времени RTDS; Интеллектуальные энергосистемы; Т. 2
by: Горюнов К. С.
Published: (2014)

Базы данных реального времени в системах автоматизации производства; Промышленные АСУ и контроллеры; № 12
by: Горин А. Е.
Published: (2003)

Автоматизированные газоанализаторы водорода в диапазоне объемных концентраций [10-6 - 1,0%]; Измерительная техника; № 7
by: Николаев И. Н.
Published: (2004)

Современные проблемы системного анализа и управления конспект лекций
by: Григоровский Б. К.
Published: (Самара, СамГУПС, 2017)

Введение в синергетику перевода монография
by: Кушнина Л. В.
Published: (Пермь, ПНИПУ, 2014)

Теория очередей учебно-методическое пособие по дисциплинам «методы оптимальных решений», «математическое моделирование» и «математическое моделирование систем и процессов» для студентов всех форм обучения, направлений подготовки 38.03.01 – «экономика», 38.03.06 – «торговое дело» и специальности 23.05.04 – «эксплуатация железных дорог»
by: Пирогова И. Н.
Published: (Екатеринбург, 2017)

О предельных распределениях для стохастических процессов с дискретным временем: вып. 4, кн. 1; Труды Среднеазиатского Государственного Университета
by: Романовский В. И.
Published: (Ташкент, Изд-во САГУ, 1946)

Математическая логика и теория алгоритмов учебное пособие
by: Неклюдова В. Л.
Published: (Новосибирск, СГУГиТ, 2022)

Верификация проектов в системах автоматизированного проектирования
by: Деменкова Т. А.
Published: (Москва, РТУ МИРЭА, 2022)

Основы алгебры логики и теории конечных автоматов: учебное пособие по курсу "Теоретические основы автоматического управления"
by: Набебин А. А. Алексей Александрович
Published: (Москва, [Б. и.], 1979)

Управление конфигурациями конвейера обработки изображений и спецэффектов систем визуализации реального времени; Технологии Microsoft в теории и практике программирования
by: Городилов М. А.
Published: (2011)

Динамическая имитация взаимодействия физических процессов в реальном масштабе времени; Исследование, разработка и применение высоких технологий в промышленности. Высокие технологии, фундаментальные и прикладные исследования, образование; Т. 5 : сборник трудов второй Международной научно-практической конференции, 07-09 февраля 2006 г., Санкт-Петербург
by: Цапко С. Г. Сергей Геннадьевич
Published: (2006)

Всережимный диспетчерский тренажер реального времени электроэнергетических систем; Известия вузов. Проблемы энергетики; № 3-4/1
Published: (2010)

Development of hybrid model of B2B HVDC; Industrial Engineering, Applications and Manufacturing (ICIEAM)
by: Ufa R. A. Ruslan Alexandrovich
Published: (2017)

Контроль кристаллических дефлекторов в режиме реального времени; Перспективы развития фундаментальных наук
by: Черепенников Ю. М. Юрий Михайлович
Published: (2012)

Real-time web design; Перспективы развития фундаментальных наук
by: Anh Duong Trinh
Published: (2012)

Методология и понятийный базис геохронологии
by: Оноприенко В. И. Валентин Иванович
Published: (Киев, Наукова думка, 1984)

Верификация цифровых устройств: курс лекций учебное пособие
by: Скитев А. А.
Published: (Москва, НИЯУ МИФИ, 2020)

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

Разработка алгоритма обработки данных с многочастотного импульсного радар-рефлектометра в реальном масштабе времени; Университетская научно-практическая отчетная конференция студентов и молодых ученых; 14-16 мая 2003, г. Томск
by: Голобоков Ю. Н. Юрий Николаевич
Published: (2003)

Гибридная модель вставки постоянного тока; Энергия единой сети; № 2 (5)
Published: (2016)

The task adaptation method for determining the optical flow problem of interactive objects recognition in real time; Journal of Physics: Conference Series; Vol. 803 : Information Technologies in Business and Industry (ITBI2016)
by: Bagutdinov R. A. Ravil Anatolievich
Published: (2017)

Algorithmic provision for data processing of monitoring systems; Ресурсоэффективные системы в управлении и контроле: взгляд в будущее
by: Hussein H. M.
Published: (2017)

Всережимный моделирующий комплекс реального времени электроэнергетических систем; Научная сессия ТУСУР-2019; Ч. 1
by: Малькова Я. Ю. Яна Юрьевна
Published: (2019)