机译:半解析卫星理论轨道传播器在空间物体目录维护轨道确定中的应用
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:验证具有Xfill功能的Trimble Rtx扩展卫星技术在实现Rtk测量的本地网络中的有用性
机译:验证OREKIT Java的德拉橡牌半分析卫星理论
机译:通过详尽探索进行的UML-RT协议一致性验证:从理论到实现。
机译:基于有限元的受约束混合物实现动脉生长重塑和适应:理论和数值验证
机译:用于未来微卫星的aX.25链路层协议的Java实现