Towards a formal model for composable container systems.

Fabio Burco Marino Miculan Marco Peressotti

Published in: SAC (2020)

Keyphrases

formal model
security patterns
case study
management system
computer systems
security properties
database
data sets
neural network
e learning
expert systems
distributed systems
learning systems
complex systems