|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Верификация и анализ вариабельных операционных системстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 9 марта 2017 г.
- Авторы: Кулямин В.В., Лаврищева Е.М., Мутилин В.С., Петренко А.К.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 28
- Номер: 3
- Год издания: 2016
- Первая страница: 189
- Последняя страница: 208
- DOI: 10.15514/ISPRAS-2016-28(3)-12
- Добавил в систему: Корухова Людмила Сергеевна