Login / Signup

Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems.

Daniel HommJürgen EckertReinhard German
Published in: SEFM Workshops (2015)
Keyphrases
  • embedded real time systems
  • data driven
  • database systems
  • test cases
  • embedded systems
  • real time
  • object oriented
  • databases
  • software development
  • petri net
  • data flow
  • commercial software