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


Establishing Linux Driver Verification Process.

Авторы

A.Petrenko, A.Khoroshilov, V.Mutilin, V.Zakharov.

Издание

Proceedings of the PSI 2009, LNCS, Volume 5947/2010, 165-176.

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

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

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