Formal Executable Theory of Multilevel Modeling.

Mira Balaban Igal Khitron Michael Kifer Azzam Maraee

Published in: CAiSE (2018)

Keyphrases

formal models
formal methods
nonlinear dynamical systems
databases
formal model
theoretical framework
formal specification
theoretical basis
mathematical modeling
data sets
video sequences
database systems
modeling language
modeling method
artificial intelligence
neural network
mathematical foundations