UniTESK на «Интернет нового поколения»
14.10.2003 г.
6–10 октября в Ярославле проходила 2-я Международная конференция «Интернет нового поколения». На конференции был представлен доклад по тестированию реализации протокола IPv6 при помощи формальных методов.
 
Вернуться
Copyright © 2014 Институт системного программирования Российской академии наук