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