|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Верификация программно-конфигурируемых сетей при помощи системы UPPAALстатья
- Авторы: Подымов В.В., Попеско У.В.
- Сборник: Материалы Международной научно-практической конференции "Инструменты и методы анализа программ"
- Год издания: 2013
- Место издания: Костромской государственный технологический университет Кострома
- Первая страница: 59
- Последняя страница: 70
- Добавил в систему: Подымов Владислав Васильевич