| |
Крывый, С. Л.
Исследование ствойств документов MSC с помощью преобразования их в сети Петри [Текст] / С. Л. Крывый, А. В. Чугаенко, Л. Е. Матвеева
// Кибернетика и системный анализ. – 2009. – Т. 45, № 6. – С. 165-171.
Предствленный алгоритм реализирован в виде полнофункционального прототипа и может использоваться для верификации программных систем. |
