Электронный архив НГУ

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

Файлы в этом документе

Данный элемент включен в следующие коллекции