Login / Signup

A systematic approach to the test of combined HW/SW systems.

Alexander KruppWolfgang Müller
Published in: DATE (2010)
Keyphrases
  • hw sw
  • real time
  • embedded systems
  • formal methods