机译:使用符号模型检查自动验证批处理过程的运行计划:闩锁模型与实时
机译:具有实时冗余计算的平行作业的可靠性评估
机译:使用通用软件实时计算冗余机械手的扭矩
机译:检查定时业务流程的可实现性编排
机译:一种用于在实时分布式计算系统中推导程序段的严格执行时间界限和简单对象方法的服务时间界限的混合方法。
机译:生理可变的重组分批补料过程中生物量和比增长率的实时估计
机译:实时过程的相对仿真和模型检查
机译:开发用于阶段结账的改进的传感方法和装置。第二部分 - 实时红外测量。体积i-设计研究实时红外测量系统最终报告,a阶段,jul。 1964年 - 1月1965年