Верификация программно-конфигурируемых сетей при помощи системы UPPAALстатья

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


[1] Подымов В. В., Попеско У. В. Верификация программно-конфигурируемых сетей при помощи системы uppaal // Материалы Международной научно-практической конференции Инструменты и методы анализа программ. — Костромской государственный технологический университет Кострома, 2013. — С. 59–70.

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