Carnegie Mellon University.;
机译:使用符号模型检查,高效地搜索监管网络的定性模型。
机译:使用符号模型检查自动验证批处理过程的运行计划:闩锁模型与实时
机译:使用符号模型验证程序进行批处理的无错误调度
机译:非均相气体固体系统中的光诱导方法。ZrO_2触发固体中的光药事件的3种表面化学反应的温度依赖性和建模
机译:使用符号模型检查的化学过程安全性和可操作性分析。
机译:母亲自我实现对孩子饮酒的中介作用:自我验证信息整合和建模过程
机译:一种利用多尺度时空元模型检验验证生物系统多级计算模型的新方法。