Amanote Research
Register
Sign In
Probabilistic Verification of BGP Convergence
doi 10.1109/icnp.2011.6089037
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2011
Authors
Soroush Haeri
Dario Kresic
Ljiljana Trajkovic
Publisher
IEEE
Related search
Simulating Convergence Properties of BGP
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Gait Verification Using Probabilistic Methods
Terminology for Benchmarking BGP Device Convergence in the Control Plane
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improved Probabilistic Verification by Hash Compaction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Ideal Convergence in Probabilistic Normed Spaces
Journal of Classical Analysis
Λ₃-Statistical Convergence of Triple Sequences on Probabilistic Normed Space
Global Journal of Mathematical Analysis
Formal Probabilistic Performance Verification of Randomly-Scheduled Wireless Sensor Networks
International Journal of Critical Computer-Based Systems
Computer Science
