| № |
Элемент
|
Количество документов |
|---|---|---|
| 1 | автоматизация верификации (>>>) | 1 |
| 2 | верификация автоматной программы (>>>) | 1 |
| 3 | граф потока управления (>>>) | 1 |
| 4 | интеграция инструментов верификации (>>>) | 1 |
| 5 | проверка модели (>>>) | 1 |
| 6 | программное обеспечение (>>>) | 1 |
| 7 | control flow graph (>>>) | 1 |
| 8 | integration of verification tools (>>>) | 1 |
| 9 | model checking (>>>) | 1 |
| 10 | software (>>>) | 1 |
| 11 | verification automation (>>>) | 1 |
| 12 | verification of automata-based program (>>>) | 1 |
Фасет 'Тематика'
Фильтр: Тематика:integration of verification tools