Login / Signup

Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints.

Lucas C. CordeiroBernd FischerHuan ChenJoão Marques-Silva
Published in: ICESS (2009)
Keyphrases
  • embedded software
  • embedded systems
  • medical devices
  • low cost
  • development projects
  • real time
  • software architecture
  • sequence diagrams
  • software engineering
  • decision support system
  • database development