A novel compact simulation interface specification.

Buquan Liu Huaimin Wang

Published in: Sci. China Inf. Sci. (2014)

Keyphrases

simulation model
high level
mathematical model
visual interface
simulation models
simulation environment
formal specification
user friendly
user interface
artificial intelligence
databases
relational databases
multiscale
image sequences
interface design
case study
formal verification