Login / Signup

Verifying Statecharts with State Invariants.

Emil Sekerinski
Published in: ICECCS (2008)
Keyphrases
  • computer vision
  • state space
  • affine invariant