Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- 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
Теория соответствия для систем с блокировками и разрушениями
Argitaratua Москва, ФИЗМАТЛИТ, 2008Testu osoa
Testu osoa
Baliabide elektronikoa Liburua