Research RadioNavigation Directorate, Trinity House, Harwich, UK;
Atmospheric modeling; Global Positioning System; Mathematical model; Radio navigation; Radio transmitters; Receivers; Software; ITU; Modelling; Navigation; Radio; Software; eLoran;
机译:考虑各种故障,错误和恢复覆盖的硬件/软件系统上两台随机模型的比较分析
机译:使用启发式和覆盖率准则的自动化系统软件的基于模型的测试
机译:带有图转换的软件和系统建模,主题为《软件和系统建模杂志》
机译:无线电导航系统覆盖建模软件
机译:面向容错软件系统的基于覆盖率的测试策略和可靠性建模。
机译:虚拟系统药理学(ViSP)软件用于从机械系统级模型进行仿真
机译:多无线定位集成系统覆盖分析的建模与仿真软件设计
机译:统计方法的软件测试:基于二项模型,覆盖设计,变异测试和使用模型的方法的初步成功估计