Вы здесь

Главная

Using Coloured Petri Nets to Model and Verity Telecommunications Systems

Автор: 
Nepomniaschy V.
Beloglazov D.
Churina T.
Mashukov M.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2008
Ключевые слова: 
model checking
иси
верификация
моделирование
сети петри
телекоммуникации
система
Стр.: 
P.360-371
Библиография: 
Bibliogr.: p.370-371
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
5010
Карточка: 

А3.5, Б2.23, Б2.42.

Nepomniaschy V., Beloglazov D., Churina T., Mashukov M..

Using Coloured Petri Nets to Model and Verity Telecommunications Systems-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2008.-Vol. 5010.-P.360-371-(Lecture Notes in Computer Science).
Bibliogr.: p.370-371

Таблица в старой библиотеке: 
ISI2 954