Login / Signup

Practical Verification of Embedded Software.

Jørgen StaunstrupHenrik Reif AndersenHenrik HulgaardJørn Lind-NielsenKim Guldstrand LarsenGerd BehrmannKåre J. KristoffersenArne SkouHenrik LeerbergNiels Bo Theilgaard
Published in: Computer (2000)
Keyphrases
  • embedded software
  • embedded systems
  • development projects
  • software architecture
  • databases
  • real world
  • sequence diagrams
  • data mining
  • database
  • information systems
  • data model
  • database management systems