C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Checking the OpenFlow Rule Installation and Operational Verification.
Ramtin Aryan
Frode Brattensborg
Anis Yazidi
Paal Einar Engelstad
Published in:
LCN (2019)
Keyphrases
</>
social networks
verification method
decision making
association rules
concurrent systems
model checking
rule sets
temporal logic
production rules
face verification
rule discovery
database
data mining
monitoring system
formal analysis