Вы здесь

Главная

телефонный

Связанные издания:

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