Главная
» Электронная библиотека » Behaviour examples for synthesizing automaton models by temporal formulas
Behaviour examples for synthesizing automaton models by temporal formulas
| Категория: | экономика |
Файл не загружен в библиотеку
|
| Авторы (ПГУ): | Пащенко Татьяна Юрьевна [100]  | |
| Авторы (внеш.): | Пащенко Дмитрий Владимирович [0], Мартышкин Алексей Иванович [0], Трокоз Дмитрий Анатольевич [0], Бабич Михаил Юрьевич [0], Бутаев Михаил Матвеевич [0] | |
| Тип: | Статья | |
| Вид: | электронная копия бумажного издания | |
| Количество частей: | 1 | |
| Год издания: | 2021 | |
| Издательство: | NEXO REVISTA CIENTIFICA | |
| Индексация: | Публикация без квартиля в Web of Science или Scopus (тип документа Proceedings и др.) | |
| Целевая аудитория: | Исследователь | |
| Целевое назначение: | Научное | |
| Лицензия: | Нет ограничений | |
| Ограничения: | Нет ограничений | |
| Правообладатель: | Пащенко Татьяна Юрьевна | |
| Библиографическая ссылка: | Pashchenko D.V., Martyshkin A.I., Trokoz D.A., Pashchenko T.Yu., Babich M.Yu., Butaev M.M. Behaviour examples for synthesizing automaton models by temporal formulas // NEXO REVISTA CIENTIFICA. Vol. 34, Number 01, March 2021. P. 61-73. | |
| Язык: | Русский | |
| Место хранения: | Вне ПГУ | |
| Дата размещения: | 30.11.2021 | |
| Владелец: | Пащенко Татьяна Юрьевна | |
| Ссылка на ресурс: | http://elib.pnzgu.ru/library/1638255618  | |
| Формат: | Не указан |