Modeling and Verifying Dynamic Architectures with FACTum Studio.

Habtom Kahsay Gidey Alexander Collins Diego Marmsoler

Published in: FACS (2019)

Keyphrases

dynamic environments
modeling language
dynamic aspects
database
databases
decision trees
three dimensional
reinforcement learning
modeling method