Formal analysis for logical models of pancreatic cancer.

Haijun Gong Paolo Zuliani Qinsi Wang Edmund M. Clarke

Published in: CDC/ECC (2011)

Keyphrases

formal analysis
probabilistic model
data sets
decision trees
lightweight
cancer diagnosis