Software Abstraction for Casual Games Using Temporal Model: An Alloy-Based Approach.

Long-Phuoc Ton Hoang-Anh Pham Bo Dao

Published in: ACOMP (2017)

Keyphrases

probabilistic model
formal model
high level
spatio temporal
management system
parameter estimation
computational model
mathematical model
probability distribution
social networks
case study
control system
statistical model
experimental data
conceptual model