Formal behavior modeling and effective automatic refinement.

Shuaiqiang Wang Jun Ma Qiang He Jiancheng Wan

Published in: Inf. Sci. (2010)

Keyphrases

website
high quality
semi automatic
databases
cost effective
human behavior