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

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

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