Výsledky vyhledávání
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
- 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
Теория соответствия для систем с блокировками и разрушениями
Vydáno Москва, ФИЗМАТЛИТ, 2008Získat plný text
Získat plný text
Elektronický zdroj Kniha