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

Статья опубликована в журнале из перечня ВАК

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


[1] Подымов В. В., Попеско У. В. Верификация программно-конфигурируемых сетей при помощи системы uppaal // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. — 2014. — № 2 (193). — С. 169–179.

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