Заказать диссертацию из РГБ.

id: 83051

Автор : Козюра, В.Е.

Раздел: 05 - Технические науки

Специальность: 05.13.11.Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: автореферат дис.... кандидата физико-математических наук: 05.13.11 / Ин-т систем информатикиКоличество страниц: 18 с. 9 04-7/2150-5 9 04-7/2151-3.

Отправьте заявку на диссертацию из РГБ. Наш менеджер свяжется с Вами в течение дня.

Ф.И.О.:  

Город:

* Ваш e-mail:

* Контактный телефон:

Цена: 640 руб. (скидка 0%)

Похожие диссертации:

3884Моделирование и анализ сетевых транспортных протоколов с помощью раскрашенных сетей Петри: автореферат дис.... кандидата физико-математических наук: 01.01.09 / Ярослав. гос. ун-т им. П.Г. ДемидоваКоличество страниц: 22 с. 9 06-9/3295-1 9 06-9/3296-X
Чалый, Дмитрий Юрьевич
3912Моделирование и анализ сетевых транспортных протоколов с помощью раскрашенных сетей Петри: диссертация... кандидата физико-математических наук: 01.01.09Количество страниц: 148 с. ил. 61 06-1/1278
Чалый, Дмитрий Юрьевич
70206Моделирование бортовых информационно-измерительных систем с использованием сетей Петри-Маркова: автореферат дис.... кандидата технических наук: 05.11.16 / Тул. гос. ун-тКоличество страниц: 20 с. 9 03-9/302-3 9 03-9/303-1
Жуликова, Наталья Александровна
70209Моделирование бортовых информационно-измерительных систем с использованием сетей Петри-Маркова: диссертация... кандидата технических наук: 05.11.16Количество страниц: 172 с. ил 61 04-5/729-2
Жуликова, Наталья Александровна
73102Системные исследования и оптимизация функционирования Интернет систем с использованием сетей Петри: автореферат дис.... кандидата технических наук: 05.13.01 / Кубан. гос. технол. ун-тКоличество страниц: 24 с. 9 04-5/1219-1 9 04-5/1220-5
Белохвостиков, Иван Владимирович
73128Системные исследования и оптимизация функционирования Интернет систем с использованием сетей Петри: диссертация... кандидата технических наук: 05.13.01Количество страниц: 168 с. ил. 61 04-5/3550
Белохвостиков, Иван Владимирович
78766Использование сетей Петри для анализа и синтеза оптимальных модульных систем обработки данных: диссертация... кандидата технических наук: 05.13.06Количество страниц: 182 c. ил 61 85-5/1873
Ходыкин, Виктор Федорович
79593Моделирование логистических процессов в автоматизированных распределенных производственных системах на основе сетей Петри: диссертация... кандидата технических наук: 05.13.06Количество страниц: 212 с. 61 05-5/4034
Костина, Светлана Александровна
79816Моделирование логистических процессов в автоматизированных распределенных производственных системах на основе сетей Петри: автореферат дис.... кандидата технических наук: 05.13.06 / Моск. ин-т электронной техникиКоличество страниц: 24 с. 9 05-7/3189-9 9 05-7/3190-2
Костина, Светлана Александровна
82703Исследование и разработка методов верификации протоколов распределенных систем на основе бисимуляционной эквивалентности сетей Петри: диссертация... кандидата технических наук: 05.13.11Количество страниц: 131 с. ил. 61 97-5/1138-3
Поступальский, Павел Алексеевич
82886Моделирование ESTELLE-спецификаций распределенных систем с помощью раскрашенных сетей Петри: автореферат дис.... кандидата физико-математических наук: 05.13.11 / Ин-т систем информатикиКоличество страниц: 18 с. 9 04-7/2136-X 9 04-7/2137-8
Окунишникова, Елена Валерьевна
82909Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри: диссертация... кандидата физико-математических наук: 05.13.11Количество страниц: 147 с. ил. 61 04-1/1222
Окунишникова, Елена Валерьевна
82974Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: диссертация... кандидата физико-математических наук: 05.13.11 / Козюра Виталий Ефимович; [Место защиты: Институт систем информатики Сибирского отделения РАН]Количество страниц: 89 с.
Козюра, Виталий Ефимович
83033Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: диссертация... кандидата физико-математических наук: 05.13.11Количество страниц: 85 с. ил. 61 04-1/1263
Козюра, В.Е.
83685Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри: автореферат дис.... кандидата физико-математических наук: 05.13.11 / Быстров Александр Васильевич; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН]Количество страниц: 18 с. 9 09-1/913
Быстров, Александр Васильевич
83700Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри: диссертация... кандидата физико-математических наук: 05.13.11 / Быстров Александр Васильевич; [Место защиты: Ин-т систем информатики им. А.П. Ершова СО РАН]Количество страниц: 136 с. ил. 61 09-1/151
Быстров, Александр Васильевич