|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Proceedings of the 2013 Tools & Methods of Program Analysisсборник
- Год издания: 2013
- Серия: TMPA ’13
- Место издания: IEEE Computer Society Washington, DC, USA
- Добавил в систему: Попеско Ульяна Владиславовна
Статьи, опубликованные в сборнике
-
- 2013 UPPAAL-Based Software-Defined Network Verification
- Podymov V.V., Popesko U.V.
- в сборнике Proceedings of the 2013 Tools & Methods of Program Analysis, серия TMPA ’13, место издания IEEE Computer Society Washington, DC, USA, с. 9-14 DOI