Login / Signup

Static analysis of physical properties in Simulink models.

Ashlie B. HockingM. Anthony AielloJohn C. Knight
Published in: ISSRE Workshops (2015)
Keyphrases
  • static analysis
  • control system
  • probabilistic model
  • real world
  • high level
  • test case generation