Login / Signup

Scalable and Optimized Hybrid Verification of Embedded Software.

Jörg BehrendDjones LettninAlexander GrünhageJürgen RufThomas KropfWolfgang Rosenstiel
Published in: J. Electron. Test. (2015)
Keyphrases
  • embedded software
  • development projects
  • embedded systems
  • software architecture
  • sequence diagrams
  • software development
  • databases
  • multi agent
  • object oriented
  • software systems