АР97-3137 Поступальский, П. А. Исследование и разработка методов верификации протоколов распределенных систем на основе биссимуляционной эквивалентности сетей Петри [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:04.13.11 / П. А. Поступальский. - Владивосток, 1997. - 19 с. : ил. Библиогр.:с. 17-19(11 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар07-7394 Соколов, В. В. Совместное использование MSC и SDL моделей при разработке событийно-ориентированных систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. В. Соколов. - СПб., 2007. - 16 с. : ил. - Библиогр.: с. 14-16 В надзаг.: С.-Петерб. гос. ун-т
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |