Login / Signup

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.

Yoann PadioleauJulia L. LawallGilles 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