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


Обзор подходов к верификации распределенных систем.

Авторы

И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман

Полный текст статьи в формате pdf

Издание

Препринт 16. М.: ИСП РАН, 2006, стр. 61.

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

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

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