Предметно-ориентированные системы переходов: объектная модель и язык

Предметно-ориентированные системы переходов: объектная модель и язык

Язык статьи
Русский
Аннотация
В статье представлены объектная модель и язык предметно-ориентированных систем переходов — нового формализма, предназначенного для спецификации и апробации формальных методов обеспечения надежности программного обеспечения.
DOI
10.31144/si.2307-6410.2013.n1.p1-34
УДК
Страницы
1-34
Файл
anureev.pdf201.96 КБ
Номер