Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов

Б3.54, Б4.5.

Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г..

Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов-Москва.// Методы и средства обработки информации, 2005.-С.407-412
Библиогр.: c.411-412