Sign in
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY.
Nadeem Akhtar
Published in:
CoRR (2015)
Keyphrases
</>
computational model
high level
mathematical model
statistical model
formal model
formal verification
management system
probabilistic model
conceptual model
data sets
neural network
cost function
theoretical framework
experimental data