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

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

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