Model Checking Concurrent Linux Device Drivers

Model Checking Concurrent Linux Device Drivers

Show other versions (1)
מידע ביבליוגרפי
Main Authors: Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
פורמט: Conference item
יצא לאור: IEEE 2007
Search Result 1
Model checking concurrent linux device drivers

Model checking concurrent linux device drivers מאת Witkowski, T, Blanc, N, Kroening, D, Weissenbacher, G

יצא לאור 2007
Conference item
Show all versions (2)

פריטים דומים