Просмотр собрания по группе - Ключевые слова задача анализа и верификации
Результаты 1 по 1 из 1
| Дата публикации | Название | Автор(ы) |
|---|---|---|
| 2015 | Применение аппарата Е-сетей для решения задач анализа и верификации программно-конфигурируемых сетей | Ткачева, Е. Б.; Иссам Саад; Мохаммед Джамал Салим |