Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
Add to Quick Collection
Description
Size
Format
Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
511 KB
Adobe Acrobat PDF
View Details
Download
Title
Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
Creator
Громов, Максим Леонидович
Creator
Лапутенко, Андрей Владимирович
Contributor
Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ
Subject
конечные автоматы
mCRL2, набор инструментов
верификация
Date
2015
Relationships
Show Relationship Browser for this Object
collection(s)
Радиофизический факультет
Журналы ТГУ
Identifier
vtls:000524767
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524767
Type
статьи в журналах
Source
Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Language
rus
1407 Visitors
986 Hits
466 Downloads
Preview
Радиофизический факультет
Журналы ТГУ
Проверка свойств конечных автоматов с помощью набора инструментов mCRL2
^ DIV >