Establishing Linux Driver Verification Process.


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 год Все публикации