High-level and formal router policy verification

Journal article

DC de Leon, MG Brown, AA Jillepalli, AQ Stalick and J Alves-Foss

Journal of Computing Sciences in Colleges, Vol.33(1), pp.118-128

01/01/2017

Metrics

1 Record Views

Title: High-level and formal router policy verification
Creators: DC de Leon
MG Brown
AA Jillepalli
AQ Stalick
J Alves-Foss
Publication Details: Journal of Computing Sciences in Colleges, Vol.33(1), pp.118-128
Identifiers: 997017229201851
Academic Unit: Computer Science
Language: English
Resource Type: Journal article