...
机译:使用符号模型检查自动验证批处理过程的运行计划:闩锁模型与实时
School of Chemical & Biomolecular Engineering, Georgia Institute of Technology,311 Ferst Drive, NW, Atlanta, Georgia 30332, U.S.A.;
Department of Chemical Engineering, Yonsei University, 134 Shinchon-dong Seodaemun-gu, Seoul 120-749, Korea;
operating schedule; real-time model; latch model; SMV; batch process;
机译:使用符号模型验证程序进行批处理的无错误调度
机译:使用符号模型检查自动支持分布式环境中的安全交易验证
机译:使用符号模型检查自动验证容错能力
机译:使用符号模型检查自动支持在分布式环境中验证安全交易
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:使用符号模型检查自动支持分布式环境中的安全交易验证
机译:通过抽象计划准备语言(appL)到符号分析实验室(saL)的自动翻译模型检查解决aI planning plus调度问题