Sign in

Formal behavior modeling and effective automatic refinement.

Shuaiqiang WangJun MaQiang HeJiancheng Wan
Published in: Inf. Sci. (2010)
Keyphrases
  • website
  • high quality
  • semi automatic
  • databases
  • cost effective
  • human behavior