Проверка свойств конечных автоматов с помощью набора инструментов mCRL2

Проверка свойств конечных автоматов с помощью набора инструментов mCRL2

Bibliographic Details
Published in:Известия высших учебных заведений. Физика Т. 58, № 11/2. С. 65-69
Main Author: Громов, Максим Леонидович
Corporate Authors: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур, Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ
Other Authors: Лапутенко, Андрей Владимирович
Format: Article
Language:Russian
Subjects:
конечные автоматы
mCRL2, набор инструментов
верификация
статьи в журналах
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524767
Перейти в каталог НБ ТГУ

Internet

http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524767
Перейти в каталог НБ ТГУ

Similar Items