SCADE; Zone Controller; modeling; slicing criterion; verification;
机译:Veriphy:验证网络实物系统模型的验证控制器可执行文件
机译:使用定时条件/事件系统模型验证连续工厂的逻辑控制器
机译:柔性制造系统的知识Petri网模型及其在FMS控制器设计和验证中的应用
机译:区域控制器的建模与验证:中国铁路系统的硕果体验
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:使用透射检测器和基于模型的剂量验证系统作为VMAT计划的全面预处理QA工具进行DVH分析:临床经验和结果
机译:使用定时条件/事件系统模型验证连续工厂的逻辑控制器