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)

Նմանատիպ նյութեր