A Novel Method on Probability Evaluation of ZC Handover Scenario Based on SMC
- 18 December 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMCPublished by Springer Science and Business Media LLC ,2018
- Uppaal SMC tutorialInternational Journal on Software Tools for Technology Transfer, 2015
- Priced Timed Automata and Statistical Model CheckingLecture Notes in Computer Science, 2013
- UPPAAL-SMC: Statistical Model Checking for Priced Timed AutomataElectronic Proceedings in Theoretical Computer Science, 2012
- Cross-Layer Handoff Design in MIMO-Enabled WLANs for Communication-Based Train Control (CBTC) SystemsIEEE Journal on Selected Areas in Communications, 2012
- Checking and Distributing Statistical Model CheckingLecture Notes in Computer Science, 2012
- Statistical Model Checking: An OverviewLecture Notes in Computer Science, 2010
- Fast IP Handover for Multimedia Services in Wireless Train NetworksLecture Notes in Computer Science, 2006
- Probability Inequalities for Sums of Bounded Random VariablesJournal of the American Statistical Association, 1963
- Note on Dr Simpson's Memoir on Paramaecium caudatumBiometrika, 1902