Проверка свойств конечных автоматов с помощью набора инструментов 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


LEADER	01614nab a2200289 c 4500
001	vtls000524767
003	RU-ToGU
005	20241129153920.0
007	cr \|
008	170613\|2015 ru s c rus d
035			\|a to000524767
040			\|a RU-ToGU \|b rus \|c RU-ToGU
100	1		\|a Громов, Максим Леонидович
245	1	0	\|a Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 \|c М. Л. Громов, А. В. Лапутенко
504			\|a Библиогр.: 4 назв.
653			\|a конечные автоматы
653			\|a mCRL2, набор инструментов
653			\|a верификация
655		4	\|a статьи в журналах
700	1		\|a Лапутенко, Андрей Владимирович
710	2		\|a Томский государственный университет \|b Радиофизический факультет \|b Кафедра информационных технологий в исследовании дискретных структур
710	2		\|a Томский государственный университет \|b Радиофизический факультет \|b Публикации студентов и аспирантов РФФ
773	0		\|t Известия высших учебных заведений. Физика \|d 2015 \|g Т. 58, № 11/2. С. 65-69 \|x 0021-3411 \|w 0026-80960
852	4		\|a RU-ToGU
856	7		\|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524767
908			\|a статья
999			\|c 385698 \|d 385698

Similar Items