Информация об авторе

Белоглазов, Дмитрий Михайлович, Институт систем информатики им. А.П. Ершова СО РАН, Россия

  • Том 18, № 4 (2011) - Оригинальные статьи
    Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри
    Аннотация  PDF (Rus)


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)