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

Базы данных


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

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


    Алексеева, М. М.
    Технология моделирования, анализа и верификации модифицированного транспортного уровня протокола [Текст] / М. М. Алексеева, Е. А. Дашкова, Д. Ю. Чалый // Дистанционное и виртуальное обучение. - 2011. - N 2. - С. 32-37. - Библиогр.: с. 36 (7 назв. ) . - ISSN 1561-2449
УДК
^a004.7
ББК 32.973.202
Рубрики: Вычислительная техника
   Вычислительные сети
Кл.слова (ненормированные):
стеки протоколов -- сетевой трафик -- транспортные протоколы -- коммуникационные системы -- имитационное моделирование -- беспроводные сети -- сети связи -- информационные сети
Аннотация: Моделирование и анализ транспортных протоколов в информационных сетях.


Доп.точки доступа:
Дашкова, Е. А.; Чалый, Д. Ю.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
2.


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


Доп.точки доступа:
Дашкова, Е. А.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)