A formal approach for Docker container deployment.

Mahendra Pratap Yadav Nisha Pal Dharmendra Kumar Yadav

Published in: Concurr. Comput. Pract. Exp. (2021)

Keyphrases

formal model
formal methods
multiscale
formal specification
formal models
real world
data mining
machine learning
knowledge base
metadata
reinforcement learning
preprocessing
mobile devices
control system