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)

مواد مشابهة