Login / Signup

Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software.

Wolfgang A. HalangBernd J. KrämerLeszek Trybus
Published in: Comput. J. (1995)
Keyphrases
  • embedded software
  • development projects
  • embedded systems
  • software architecture
  • programming language
  • model checking
  • sequence diagrams
  • database
  • project management