DeSpec: Modeling the Windows Driver Environment.

Tomas Matousek Pavel Jezek

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

mobile robot
real time
virtual world
environmental conditions
databases
multiscale
dynamic environments
computing environments
modeling language