Analyzing BGP Instances in Maude.

Anduo Wang Carolyn L. Talcott Limin Jia Boon Thau Loo Andre Scedrov

Published in: FMOODS/FORTE (2011)

Keyphrases

anomaly detection
randomly generated
training instances
data mining
formal specification
learning algorithm
active learning