Login / Signup

Formal Analysis for Stateflow Diagrams.

Chunqing Chen
Published in: SSIRI (Companion) (2010)
Keyphrases
  • formal analysis
  • formal methods
  • agent model
  • neural network
  • ban logic
  • database
  • expert systems
  • high dimensional
  • building blocks