Frenetic
From MaRDI portal
Software:28140
No author found.
Related Items (7)
Model Checking Data Flows in Concurrent Network Updates ⋮ NetKAT — A Formal System for the Verification of Networks ⋮ Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions ⋮ Probabilistic NetKAT ⋮ Explaining safety failures in NetKAT ⋮ Unnamed Item ⋮ Frenetic
This page was built for software: Frenetic
