Коротунов, С. Ю. Аналіз підходів до моделювання та верифікації кіберфізичних систем / С. Ю. Коротунов, Г. В. Табунщик // Радіоелектроніка, інформатика, управління : науковий журнал. - 2020. - № 3. - С. 57-68 : іл., а-табл. - Бібліогр. в кінці ст. . - ISSN 1607-3274
Информационные технологии Кл.слова (ненормовані): верифікація -- верификация -- кіберфізична система -- киберфизическая система -- модель Кріпке -- модель Крипке -- скінченний автомат -- конечный автомат -- темпоральна логіка -- темпоральная логика -- перевірка моделі -- проверка модели -- симуляція -- симуляция Дод.точки доступу: Табунщик, Г. В. Є примірники у відділах: ЧЗНЛ Прим. 1 - (вільний) |