Model Checking Concurrent Linux Device Drivers

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