University of Cincinnati.;
机译:形式化建模语言差异的性能影响:组合的抽象级别和构造复杂性分析
机译:通过计算机模拟器建模的复杂物理系统的贝叶斯不确定性分析及其在临界点上的应用
机译:处理定性度以处理不确定性:正式模型和应用
机译:不确定性下化学反应系统自动模型抽象的正式分析
机译:对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:计算建模,形式分析和系统生物学工具。
机译:自动公路系统的前兆系统分析。活动区p.prelimary成本/效益因素分析。第5卷。自动公路系统风险和不确定性分析