Login / Signup
: Automatic and Efficient Verification for Container Network Policies.
Haney Kang
Seungwon Shin
Published in:
IEICE Trans. Inf. Syst. (2022)
Keyphrases
</>
neural network
peer to peer
communication networks
computer networks
container terminal
network design
network architecture
lightweight
semi automatic
cost effective
model checking
fully automatic
network structure
network traffic
computationally efficient
dynamic programming
mobile devices
real time