SDN verification plane for consistency establishment.

Ali Hussein Imad H. Elhajj Ali Chehab Ayman I. Kayssi

Published in: ISCC (2016)

Keyphrases

model checking
process algebra
concurrent systems
three dimensional
constraint networks
consistency checking
website
formal analysis
cost function
free space
ground plane
signature verification
formal verification
fingerprint verification
verification method