Carnegie Mellon University Pittsburgh PA 15213 USA;
University of Pittsburgh Pittsburgh PA 15213 USA;
Literature mining; Modeling Automation; Cancer;
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:使用正射影像自动检查和校正数字高程模型的新方法
机译:一种新的多级模型抽象的分层方法,用于简化生物网络的颂歌模型及案例研究:哺乳动物细胞周期的G1 / S检查点/ DNA损伤信号通路
机译:使用自动读取和模型检查扩展小区信令模型的方法
机译:二分项反应理论和贝叶模型的贝叶斯模型检验方法
机译:用于细胞信号传导的动力学校对模型可预测逃脱动力学校对的方法
机译:使用自动阅读和自动阅读扩展细胞信号模型的方法 模型检查