Вы здесь

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

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2008
Стр.: 
С.35-49
Библиография: 
Библиогр.: c.48-49
Номер: 
6
Карточка: 

Б2.22, Б2.23.

Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А..

Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня// Программирование-2008, №6.-С.35-49
Библиогр.: c.48-49

Таблица в старой библиотеке: 
PAP31 304