The following pages link to Frenetic (Q28140):
Displaying 7 items.
- Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions (Q2026303) (← links)
- Explaining safety failures in NetKAT (Q2043810) (← links)
- NetKAT — A Formal System for the Verification of Networks (Q2789031) (← links)
- Probabilistic NetKAT (Q2802486) (← links)
- (Q3174943) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- Frenetic (Q5176982) (← links)