Вы здесь

Четвертаков Е. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня 2008 Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. Программирование 27.01.2009
СТ Симулятор иерархических временных типизированных сетей 2006 Четвертаков Е. А. Технологии Microsoft в теории и практике программирования 31.03.2006
СТ Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов 2005 Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. Методы и средства обработки информации 11.01.2006