Login / Signup

Optimized hybrid verification of embedded software.

Jörg BehrendAlexander GrünhageDouglas SchroederDjones LettninJürgen RufThomas KropfWolfgang Rosenstiel
Published in: LATW (2014)
Keyphrases
  • embedded software
  • software architecture
  • embedded systems
  • development projects
  • model checking
  • database
  • case study
  • databases
  • software engineering
  • open source