Login / Signup

Runtime verification of embedded real-time systems.

Thomas ReinbacherMatthias FüggerJörg Brauer
Published in: Formal Methods Syst. Des. (2014)
Keyphrases
  • embedded real time systems
  • embedded systems
  • petri net
  • commercial software
  • real time systems
  • model checking
  • real time
  • resource usage
  • artificial intelligence
  • data model
  • wireless sensor networks