Sign in

Runtime Verification of Component-Based Embedded Software.

Hasan SözerChristian HofmannBedir TekinerdoganMehmet Aksit
Published in: ISCIS (2011)
Keyphrases
  • embedded software
  • development projects
  • embedded systems
  • software architecture
  • model checking
  • information systems
  • database systems
  • low cost
  • open source
  • autonomous agents