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


Симуляция систем с отказами и разрушением.

Авторы

А.С. Косачев, И.Б.Бурдонов.

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

Издание

5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48.

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

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

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