Формальные методы анализа дискретных систем с использованием языка спецификаций

by Крывый, С.Л., Чугаенко, А.В.
Published 2009

О алгоритме перевода документов msc в сети Петри

by Чугаенко, А.В., Крывый, С.Л.
Published 2008

Формальные методы анализа дискретных систем с использованием языка спецификаций

by Крывый, С.Л., Чугаенко, А.В.
Published 2009

Исследование свойств документов MSC с помощью преобразования их в сети Петри

by Крывый, С.Л., Чугаенко, А.В., Матвеева, Л.Е.
Published 2009