Login / Signup
AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned.
Werner Damm
Published in:
FM (2015)
Keyphrases
</>
lessons learned
complex systems
dynamic systems
case study
future directions
multi agent systems
decision making
mathematical models
discrete event systems
data sets
machine learning
biological systems
agent based models