• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies.

Ramtin AryanAnis YazidiAdel BouhoulaPaal Einar Engelstad
Published in: LCN (2020)
Keyphrases
  • anomaly detection
  • data driven
  • high resolution
  • semi automatic
  • data mining
  • information retrieval
  • information systems
  • fully automatic
  • higher resolution
  • formal model
  • tree search
  • clause learning
  • consequence finding