Computer Science Department, Carnegie Mellon University, USA;
Computer Science Department, Carnegie Mellon University, USA;
Biological system modeling; Mathematical model; Computational modeling; Biological systems; Petri nets; Analytical models;
机译:信标微积分:生物系统灵活和简洁建模的正式方法
机译:生物系统的正式模型
机译:一种创建环境影响对生物系统发展影响的形式化模型的方法
机译:组成生物系统定性模型的正式框架
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:信标演算:一种灵活简洁的生物系统建模的正式方法
机译:信标微积分:生物系统灵活和简洁建模的正式方法