Вы здесь

Белоглазов Д. М.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри 2011 Белоглазов Д. М., Машуков М. Ю., Непомнящий В. А. Моделирование и анализ информационных систем 13.02.2012
СТ Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помо и конечных автоматов и раскрашенных сетей Петри 2008 Белоглазов Д. М., Непомнящий В. А. Вестник НГУ 26.01.2009
СТ Обнаружение взаимодействия функциональностей в телефонных сетях с помо ью раскрашенных сетей Петри 2006 Белоглазов Д. М. ИСИ СО РАН Молодая информатика 2 28.04.2007
СТ Моделирование и верификация взаимодействия функциональностей в телефонных сетях 2007 Белоглазов Д. М. Министерство образования и науки Российской федерации, Microsoft Corporation Технологии Microsoft в теории и практике программирования 08.03.2007