Login / Signup
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.
Yoann Padioleau
Julia L. Lawall
Gilles Muller
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
operating system
car navigation
open source
file system
electronic devices
real time
portable devices
databases
microsoft windows
linux kernel
medical devices
remote server