机译:定性的动力学建模可以正式解释中胚层规范并预测新的发育表型
机译:从生化网络形式推导定性动力学模型
机译:代理商组织中角色动力学的形式化方法:在满意度-价格论模型中的应用
机译:将SA / RT图形规范转化为CSP + T形式主义:从半正式SA / RT基本模型获取正式规格
机译:交互式自动机的分层结构,用于对战场动力学建模:可控性和形式规范。
机译:两种不同的网络拓扑在两栖动物的中胚层和前中胚层规格模型中产生双稳态
机译:定性的动力学建模可以正式解释中胚层规范并预测新的发育表型