Login / Signup

Model Based Approach for Testing: Distributed Real-Time Systems Augmented with Online Monitors.

Deepak PalJüri Vain
Published in: DB&IS (2018)
Keyphrases
  • real time systems
  • probabilistic model
  • computational model
  • real time
  • cooperative
  • high level
  • low cost
  • distributed systems
  • test cases