खोज परिणाम
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- lts-модель 1
- автоматная модель 1
- асинхронное тестирование 1
- верификация композиции 1
- деревья 1
- дивергенция 1
- итоги 1
- мажорирование
- машина тестирования 1
- множества 1
- модели 1
- модели ввода-вывода 1
- недетерминизм 1
- общая теория монотонности 1
- отношение ioco 1
- пополнение спецификации 1
- порождающий граф 1
- последовательности 1
- правильность 1
- предлагаемый подход 1
- проблемы 1
- проблемы взаимодействия 1
- реализация 1
- синхронное тестирование 1
- соответствия 1
- соответствия между моделями 1
- спецификации без блокировок 1
- спецификации без разрушения 1
- сравнение моделей 1
- теория соответствия 1
-
1
Теория соответствия для систем с блокировками и разрушениями
प्रकाशित Москва, ФИЗМАТЛИТ, 2008पूर्ण पाठ प्राप्त करें
पूर्ण पाठ प्राप्त करें
इलेक्ट्रोनिक पुस्तक