|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О разработке средств верификации для распределенных вычислительных систем реального временистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
- Журнал: Моделирование и анализ информационных систем
- Том: 19
- Номер: 5
- Год издания: 2012
- Издательство: Яросл. гос. ун-т
- Местоположение издательства: Ярославль
- Добавил в систему: Захаров Владимир Анатольевич