Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Статті, доповіді, тези- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: <.>K=темпоральна логіка<.>

Загальна кількість знайдених документів : 1

Коротунов, С. Ю.
Аналіз підходів до моделювання та верифікації кіберфізичних систем / С. Ю. Коротунов, Г. В. Табунщик // Радіоелектроніка, інформатика, управління : науковий журнал. - 2020. - № 3. - С. 57-68 : іл., а-табл. - Бібліогр. в кінці ст. . - ISSN 1607-3274

УДК

004.9

Рубрики: Інформаційні технології
Информационные технологии
Кл.слова (ненормовані):
верифікація -- верификация -- кіберфізична система -- киберфизическая система -- модель Кріпке -- модель Крипке -- скінченний автомат -- конечный автомат -- темпоральна логіка -- темпоральная логика -- перевірка моделі -- проверка модели -- симуляція -- симуляция

Дод.точки доступу:
Табунщик, Г. В.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)