Refinement-based synthesis of correct contract model decompositions.

Thi Thieu Hoa Le Roberto Passerone

Published in: MEMOCODE (2014)

Keyphrases

computational model
experimental data
hybrid model
real time
formal model
website
high level
theoretical analysis
theoretical framework
statistical model
conceptual model
autoregressive