Login / Signup

How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle.

Robert Hilbrich
Published in: Adv. Softw. Eng. (2012)
Keyphrases
  • building blocks
  • systems require
  • real time
  • case study
  • database systems
  • face recognition
  • expert systems
  • distributed systems
  • intelligent systems
  • complex systems