Model Checking Concurrent Linux Device Drivers

Bibliographische Detailangaben
Hauptverfasser:	Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
Format:	Conference item
Veröffentlicht:	IEEE 2007

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

Veröffentlicht 2007

Conference item