UPPAAL-Based Software-Defined Network Verificationстатья

Информация о цитировании статьи получена из Scopus
Дата последнего поиска статьи во внешних источниках: 22 ноября 2015 г.

Работа с статьей


[1] Podymov V. V., Popesko U. V. Uppaal-based software-defined network verification // Proceedings of the 2013 Tools & Methods of Program Analysis. — TMPA ’13. — IEEE Computer Society Washington, DC, USA, 2013. — P. 9–14. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть