Вы здесь

Главная

dynamic-real

Связанные издания:

Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL
Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL
Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем