A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations.

Wejdene Saied Adel Bouhoula

Published in: CNSM (2020)

Keyphrases

automatic detection
formal specification
automatically detecting
automatic classification
small bowel
high speed
formal model
chest ct
image analysis
computer aided
process algebra