|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Формальная модель и задачи верификации программно-конфигурируемых сетейстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Захаров В.А., Смелянский Р.Л., Чемерицкий Е.В.
- Журнал: Моделирование и анализ информационных систем
- Том: 20
- Номер: 6
- Год издания: 2013
- Издательство: Яросл. гос. ун-т
- Местоположение издательства: Ярославль
- Первая страница: 33
- Последняя страница: 48
- Добавил в систему: Захаров Владимир Анатольевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Zakharov_Chemeritskyi_20_6__36-51.pdf | 428,7 КБ | 7 ноября 2014 [Smel] |