|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВстатья
- Авторы: Захаров В.А., Зорин Д.А., Подымов В.В., Коннов И.В., Волканов Д.Ю.
- Сборник: Труды международной научной конференции Моделирование-2012
- Год издания: 2012
- Место издания: Институт проблем моделирования в энергетике им. Г.Е. Пухова Киев, Украина
- Первая страница: 199
- Последняя страница: 202
- Добавил в систему: Захаров Владимир Анатольевич