机译:航空卫星导航的可靠性如何?通过概率验证检查可用性属性
Univ Glasgow, Sch Comp Sci, Glasgow, Lanark, Scotland.;
Beijing Univ Aeronaut & Astronaut, Sch Reliabil & Syst Engn, Beijing 100083, Peoples R China.;
Univ Glasgow, Sch Comp Sci, Glasgow, Lanark, Scotland.;
Beijing Univ Aeronaut & Astronaut, Sch Reliabil & Syst Engn, Beijing 100083, Peoples R China.;
Univ Glasgow, Sch Comp Sci, Glasgow, Lanark, Scotland.;
Satellite systems; Formal methods; Model checking; Reliability; Availability; Probabilistic verification;
机译:用于确定全球导航卫星系统的接收指标的装置和方法
机译:正式的服务质量保证,使用概率模型检查方法对云部署选项进行排名和验证
机译:通过统计模型检查对概率SystemC模型进行形式验证
机译:一种概率模型检查方法,用于分析单个卫星系统的可靠性,可用性和可维护性
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:航空卫星导航的可靠性如何?使用概率验证检查可用性属性