Towards a Formal Model for Composable Container Systems.

Fabio Burco Marino Miculan Marco Peressotti

Published in: CoRR (2019)

Keyphrases

formal model
computer systems
distributed systems
database
genetic algorithm
knowledge based systems
learning systems
security patterns
neural network
intelligent systems
building blocks
formal models
security properties