Modeling and analyzing of CTCS-3 radio communication based on probabilistic model check
QUAN Hongyu
ZHAO Huibing
Keywords：CTCS-3 radio communicationprobabilistic model checkmodelingreliability analysis
Publication Date：2014-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：5( 37-41 )