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

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

Bibliografische gegevens
Hoofdauteur:	Кларк, мл. Э. М. Эдмунд М.
Andere auteurs:	Грамберг О. Орна, Пелед Д. Дорон
Gepubliceerd in:	Москва, МЦНМО, 2002
Onderwerpen:	вычислительная математика параллельные системы моделирование темпоральные логики верификация теория автоматов диаграммы редукция эквивалентность квазипорядки абстракция симметрия конечные системы дискретное время количественный анализ непрерывное реальное время
Formaat:	Boek
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58736

Gelijkaardige items

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

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

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

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

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

Временная система ваховского диалекта хантыйского языка по материалам современных полевых исследований
door: Воробьёва В. В. Виктория Владимировна
Gepubliceerd in: (2022)

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

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

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

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

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

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

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

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

Автоматизированные газоанализаторы водорода в диапазоне объемных концентраций [10-6 - 1,0%]
door: Николаев И. Н.
Gepubliceerd in: (2004)

Базы данных реального времени в системах автоматизации производства
door: Горин А. Е.
Gepubliceerd in: (2003)

Анализ моделей элементов энергосистем цифрового симулятора реального времени RTDS
door: Горюнов К. С.
Gepubliceerd in: (2014)

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

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

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

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

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

Управление конфигурациями конвейера обработки изображений и спецэффектов систем визуализации реального времени
door: Городилов М. А.
Gepubliceerd in: (2011)

Всережимный диспетчерский тренажер реального времени электроэнергетических систем
Gepubliceerd in: (2010)

Development of hybrid model of B2B HVDC
door: Ufa R. A. Ruslan Alexandrovich
Gepubliceerd in: (2017)

Динамическая имитация взаимодействия физических процессов в реальном масштабе времени
door: Цапко С. Г. Сергей Геннадьевич
Gepubliceerd in: (2006)

Real-time web design
door: Anh Duong Trinh
Gepubliceerd in: (2012)

Контроль кристаллических дефлекторов в режиме реального времени
door: Черепенников Ю. М. Юрий Михайлович
Gepubliceerd in: (2012)

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

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

Algorithmic provision for data processing of monitoring systems
door: Hussein H. M.
Gepubliceerd in: (2017)

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

Гибридная модель вставки постоянного тока
Gepubliceerd in: (2016)

The task adaptation method for determining the optical flow problem of interactive objects recognition in real time
door: Bagutdinov R. A. Ravil Anatolievich
Gepubliceerd in: (2017)

Всережимный моделирующий комплекс реального времени электроэнергетических систем
door: Малькова Я. Ю. Яна Юрьевна
Gepubliceerd in: (2019)

Разработка алгоритма обработки данных с многочастотного импульсного радар-рефлектометра в реальном масштабе времени
door: Голобоков Ю. Н. Юрий Николаевич
Gepubliceerd in: (2003)

Формирующие динамические системы с дискретным временем
door: Новоселов О. Н.
Gepubliceerd in: (2004)

Оптимизация коммуникации внутри веб-приложения с помощью SignalR
door: Соловьева А. Д.
Gepubliceerd in: (2020)

Системы нечеткой логики для фильтрации марковских последовательностей
door: Амосов О. С.
Gepubliceerd in: (2004)

Аналитические методы для томографической реконструкции в реальном времени
door: Шкарин Р. В.
Gepubliceerd in: (2013)