Learn More
  • Chunqing Chen
  • 2010 Fourth International Conference on Secure…
  • 2010
Stateflow has been widely used in industry to specify and simulate control systems. Unfortunately, the lack of formal descriptions of Stateflow and its limited verification capability become an(More)