| 
Разработка методов верификации элементов дискретно-событийной модели
| Авторы: Горохова А.С., Завадская Л.А., Новичкова М.А. | Опубликовано: 08.10.2024 |
| Опубликовано в выпуске: #4(93)/2024 | |
| DOI: | |
| Раздел: Математика | Рубрика: Вычислительная математика | |
| Ключевые слова: дискретно-событийная система, конечные автоматы, группа роботов, сети Петри, дерево достижимости, спецификация поведения, логическая структура последовательности строк, верификация | |