Login / Signup

Verification of Embedded Real-time Systems.

Paula HerberSabine Glesner
Published in: SyDe Summer School (2015)
Keyphrases
  • embedded real time systems
  • commercial software
  • embedded systems
  • petri net
  • model checking
  • real time systems
  • real time
  • databases
  • data model
  • management system
  • distributed systems
  • process model
  • formal methods