Pages that link to "Item:Q2024371"
From MaRDI portal
The following pages link to SDN-actors: modeling and verification of SDN programs (Q2024371):
Displaying 7 items.
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- SDN-actors: modeling and verification of SDN programs (Q2024371) (← links)
- \textit{Renaissance}: a self-stabilizing distributed SDN control plane using in-band communications (Q2121474) (← links)
- Concurrent NetCore: from policies to pipelines (Q2819659) (← links)
- Decentralizing SDN policies (Q2819856) (← links)
- 软件定义网络:安全模型、机制及研究进展 (Q2951195) (← links)
- (Q3174943) (← links)