Sign in

Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.

Ludovic ApvrillePierre de Saqui-Sannes
Published in: SDL Forum (2013)
Keyphrases
  • static analysis
  • mutual exclusion
  • long distance
  • dynamic analysis
  • source code
  • decision trees
  • regular expressions