Login / Signup

Interactive presentation abstract: Assertion-based verification in embedded-software design.

Giuseppe Di GuglielmoLuigi Di GuglielmoFranco FummiGraziano Pravadelli
Published in: HLDVT (2011)
Keyphrases
  • embedded software
  • embedded systems
  • software architecture
  • user interface
  • design process
  • goal oriented
  • product design
  • development projects
  • sequence diagrams
  • databases
  • information systems
  • low level