Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня : автореф. дис. на соиск. учен. степ. к.ф.-м.н. : спец. 05.13.11
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помощью сетей Петри высокого уровня : автореф. дис. на соиск. учен. степ. к.ф.-м.н. : спец. 05.13.11