Login / Signup

Generating Test Cases for Real-Time Systems Based on Symbolic Models.

Wilkerson de L. AndradePatrícia D. L. Machado
Published in: IEEE Trans. Software Eng. (2013)
Keyphrases
  • real time systems
  • real time
  • probabilistic model
  • database systems
  • reactive systems
  • cooperative
  • database management systems
  • embedded real time systems