Вы здесь
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2008
Ключевые слова:
Стр.:
С.35-49
Библиография:
Библиогр.: c.48-49
Источник:
Номер:
6
Карточка:
Б2.22, Б2.23.
Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А..
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня// Программирование-2008, №6.-С.35-49
Библиогр.: c.48-49
Таблица в старой библиотеке:
PAP31 304