Ivannikov Institute for System Programming of the RAS


Establishing Linux Driver Verification Process.

Authors

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

Edition

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

Research Group

Software Engineering

All publications during 2010 All publications