Перейти к основному содержанию
Akadem
Index
Экосистема
Продукты
AkademIndex
Научный поиск и навигация
AkademScholar
Метрики и научная аналитика
AkademID
скоро
Идентификатор автора и профили
Для разработчиков
AkademBase
Открытый API экосистемы
Найти
О проекте
Охват
Помощь
Русский
Русский
Светлая
Светлая
Русский
Русский
Найти
← Назад к работе
Работы, цитирующие эту работу
Работ: 1
Improving the Formal Verification of Reachability Policies in Virtualized Networks
Daniele Bringhenti
,
Guido Marchetto
,
Riccardo Sisto
+3
Статья
Software-Defined Networks and 5G
IEEE Transactions on Network and Service Management
2020
Цитирований: 1
ABI
ABI:AkademIndex/openalex/2026.other.062452