Институт системного программирования им. В.П. Иванникова РАН


Разработка формальных моделей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов.

Авторы

Н.В. Пакулин, А.В. Хорошилов

Издание

Журнал "Программирование" № 5, 2007 г., стр. 1-29.

ISSN 0132-3474

Научная группа

Технологии программирования

Все публикации за 2007 год Все публикации