Вы здесь
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2011
Ключевые слова:
Стр.:
С.144-156
Библиография:
Библиогр.: c.154-156
Номер:
4
Том:
18
Карточка:
Б2.23, Б2.22.
Белоглазов Д. М., Машуков М. Ю., Непомнящий В. А..
Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри// Моделирование и анализ информационных систем-2011, №4.-Vol. 18.-С.144-156
Библиогр.: c.154-156
Таблица в старой библиотеке:
ISI3 209