dblp.uni-trier.dewww.uni-trier.de

David Polock

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
3EEDieter Zöbel, David Polock, Andreas van Arkel: Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. Electr. Notes Theor. Comput. Sci. 133: 315-332 (2005)
2EEDieter Zöbel, David Polock: Priority Inheritance Revisited. Towards the conformance of real-time protocols. Technique et Science Informatiques 24(8): 939-961 (2005)
2000
1EEDavid Polock, Dieter Zöbel: Conformance testing of priority inheritance protocols. RTCSA 2000: 404-408

Coauthor Index

1Andreas van Arkel [3]
2Dieter Zöbel [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)