Верификация распределенных программ методом проверки на модели Царьков Дмитрий Викторович

Данный автореферат диссертации должен поступить в библиотеки в ближайшее время
Уведомить о поступлении

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - 240 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Царьков Дмитрий Викторович. Верификация распределенных программ методом проверки на модели : диссертация ... кандидата физико-математических наук : 05.13.11.- Москва, 2002.- 185 с.: ил. РГБ ОД, 61 02-1/1078-8

Похожие диссертации на Верификация распределенных программ методом проверки на модели

Формальная семантика C-LIGHT программ и их верификация методом Хоара Промский Алексей Владимирович

Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)Гуров Вадим Сергеевич

Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний : метод, инструментальное средство, верификацияГуров Вадим Сергеевич

Организация сетевой системы взаимной проверки знаний с использованием модели p/r-диагностируемых системФоменков Андрей Вячеславович

Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем Козюра В. Е.

Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных системКозюра Виталий Ефимович

Методы спецификации и верификации параллельных моделей с непрерывным временемПокозий, Екатерина Александровна

Верификация параметризованных моделей распределенных системКоннов Игорь Владимирович

Математическое и программное обеспечение средств верификации программ микроконтроллерных устройствХудов Ким Андреевич

Функциональные средства спецификации трансляторов и их применение в проблемно-ориентированной системе верификации программСулимов, Александр Александрович