Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures.
Ingo van DuijnPeter Gjøl JensenJesper Stenbjerg JensenTroels Beck KrøghJonas Sand MadsenStefan SchmidJirí SrbaMarc Tom ThorgersenPublished in: IEEE/ACM Trans. Netw. (2022)
Keyphrases
- link failure
- traffic engineering
- network topology
- resource management
- cellular automata
- social networks
- multi layer
- heterogeneous networks
- real time
- label switching
- end to end
- quality of service
- network model
- optical networks
- network structure
- ad hoc networks
- regular expressions
- response time
- wireless sensor networks
- cellular networks
- image sequences
- multicast routing
- wdm networks