Modeling runtime enforcement with mandatory results automata.

Egor Dolzhenko Jay Ligatti Srikar Reddy

Published in: Int. J. Inf. Sec. (2015)

Keyphrases

artificial intelligence
modeling language
database
machine learning
decision making
three dimensional
data structure
digital libraries
evolutionary algorithm
probabilistic model