Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2014

Ключевые слова:

верификация

распределенная система

сети петри

раскрашенный

последовательность

Стр.:

P.38-49

Библиография:

Bibliogr.: p.49

Место издания:

Источник:

Proc./9th International Computer Science Symposium in Russia

Карточка:

Б2.23, Б3.44.

Chernenok S., Nepomniaschy V..

Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets-M..// Proc./9th International Computer Science Symposium in Russia, 2014.-P.38-49
Bibliogr.: p.49

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

PAP31 864