Model Checking Concurrent Linux Device Drivers

Model Checking Concurrent Linux Device Drivers

अन्य संस्करण दिखाएं (1)
ग्रंथसूची विवरण
मुख्य लेखकों: 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
सभी संस्करण दिखाएं (2)

समान संसाधन