Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Алексеева, М. М.$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Алексеева М. М., Дашкова Е. А.
Заглавие : Метод проверки на модели (model-checking) для определения корректности сложных систем
Серия: Методика и опыт
Место публикации : Дистанционное и виртуальное обучение. - 2011. - № 12. - С.50-56. - ISSN 1561-2449 (Шифр divo/2011/12). - ISSN 1561-2449
Примечания : Библиогр.: с. 55 (4 назв. )
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): программные системы--аппаратные системы--автоматное программирование--корректность программного обеспечения--корректность алгоритмов--верификация--технологии программирования--системное моделирование--проектирование систем
Аннотация: Метод формальной верификации как один из подходов к достижению корректности сложных систем.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Алексеева М. М., Дашкова Е. А., Чалый Д. Ю.
Заглавие : Технология моделирования, анализа и верификации модифицированного транспортного уровня протокола
Серия: Виртуальные технологии
Место публикации : Дистанционное и виртуальное обучение. - 2011. - N 2. - С.32-37. - ISSN 1561-2449 (Шифр divo/2011/2). - ISSN 1561-2449
Примечания : Библиогр.: с. 36 (7 назв. )
УДК : 004.7
ББК : 32.973.202
Предметные рубрики: Вычислительная техника
Вычислительные сети
Ключевые слова (''Своб.индексиров.''): стеки протоколов--сетевой трафик--транспортные протоколы--коммуникационные системы--имитационное моделирование--беспроводные сети--сети связи--информационные сети
Аннотация: Моделирование и анализ транспортных протоколов в информационных сетях.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)