Using the probabilistic model checker PRISM to analyze H-OTBA algorithm in Optical Burst Switching (OBS) networks

التفاصيل البيبلوغرافية
العنوان: Using the probabilistic model checker PRISM to analyze H-OTBA algorithm in Optical Burst Switching (OBS) networks
المؤلفون: Zagorskis, Viktors
المصدر: 2015 Advances in Wireless and Optical Communications (RTUWO) Advances in Wireless and Optical Communications (RTUWO), 2015. :132-137 Nov, 2015
Relation: 2015 Advances in Wireless and Optical Communications (RTUWO)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781467374309
9781467374316
DOI:10.1109/RTUWO.2015.7365736