О некоторых задачах анализа гибридных автоматов

Скобелев В.В., Скобелев В.Г.
О некоторых задачах анализа гибридных автоматов

Вид документа: Стаття періодичного видання
Рiк видання: 2018
Автор: Скобелев В.В., Скобелев В.Г. Вид автора: персона
Мова: Російська Обсяг: С.3-15
Шифр: 519.7 УДК: 519.7

Аннотацiя:

гибридные автоматы, верификация

Є складовою частиною документа: Кибернетика и системный анализ