Login / Signup

Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems.

Diego R. AlmeidaAlan MoraesWilkerson de L. AndradePatrícia D. L. Machado
Published in: SBMF (2014)
Keyphrases
  • selection criteria
  • real time systems
  • model selection
  • embedded systems
  • real time
  • artificial intelligence
  • high level
  • software systems