Login / Signup

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach.

Edgar G. DaylightBart DemoenFrancky Catthoor
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
  • embedded software
  • data structure
  • software architecture
  • embedded systems
  • database
  • case study
  • design process
  • development projects
  • real time
  • databases
  • artificial intelligence