Вы здесь

Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня

Количество экземпляров: 
1
Вид: 
Автореферат
Год: 
2000
Стр.: 
18 с.
Библиография: 
Библиогр.: c.17-18
Место защиты: 
Номер специальности: 
05.13.11
Карточка: 

Б2.42, Б3.55.

Чурина Т. Г..

Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 2000.-18 с.
Библиогр.: c.17-18

Таблица в старой библиотеке: 
DAR1MP 371