Model Checking Concurrent Linux Device Drivers

Detalles Bibliográficos
Main Authors:	Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
Formato:	Conference item
Publicado:	IEEE 2007

Model checking concurrent linux device drivers por Witkowski, T, Blanc, N, Kroening, D, Weissenbacher, G

Publicado 2007

Conference item