David Polock

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

Dieter Zöbel, David Polock, Andreas van Arkel
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. Electron. Notes Theor. Comput. Sci. 133 (2005)
Dieter Zöbel, David Polock
Priority Inheritance Revisited. Towards the conformance of real-time protocols. Tech. Sci. Informatiques 24 (8) (2005)
David Polock, Dieter Zöbel
Conformance testing of priority inheritance protocols. RTCSA (2000)