机译:在计算生物学模型中整合Petri网和通量平衡方法:一种方法学和计算实践
Univ Torino Dept Comp Sci Turin Italy;
CNR Inst Biomend Technol Milan Italy;
Univ Torino Dept Life Sci & Syst Biol Turin Italy;
Univ Cambridge Comp Lab Cambridge England;
Computational biology; Petri Nets and Flux Balance Analysis;
机译:在统一建模语言伪像中集成计算树逻辑模型检查的方法论:嵌入式控制器的案例研究
机译:统一建模语言伪影中集成计算树逻辑模型检查的方法:嵌入式控制器的案例研究
机译:用于集成计算树逻辑模型检查统一建模语言的方法的方法,嵌入式控制器的案例研究
机译:在计算生物学建模和仿真中使用Petri网
机译:提高生物学功能应用的计算蛋白质建模方法的复杂性
机译:用于多尺度建模和仿真的计算系统生物学软件平台:集成了全身生理学疾病生物学和分子反应网络
机译:用于多尺度建模和仿真的计算系统生物学软件平台:集成了全身生理学,疾病生物学和分子反应网络
机译:计算几何,有限元和多体系统算法的集成,为高保真车辆系统建模和仿真开发新的计算方法。附录。