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


Безопасность, верификация и теория конформности.

Авторы

И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.

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

Издание

"Материалы второй международной научной конференции по проблемам безопасности и противодействия терроризму. МГУ 2006", М., МЦНМО, 2007, стр. 135-158.

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

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

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