Formalising device driver interfaces.

Leonid Ryzhyk Ihor Kuz Gernot Heiser

Published in: PLOS@SOSP (2007)

Keyphrases

car navigation
cellular phone
user interface
electronic devices
database interface
portable devices
neural network
data acquisition
metadata
multimedia
rfid tags
input device
personal digital assistants
visual interfaces