Biological regulatory networks; Formal verification; Qualitative modelling;
机译:面向服务的架构,用于整合遗传监管网络的建模和正式验证
机译:生物调节网络中振荡行为的形式分析:一种替代方法
机译:形式方法在生物管理网络中的应用:用时间逻辑扩展托马斯的异步逻辑方法
机译:生物监管网络的建模和形式验证:一种综合方法
机译:将定性生物学知识与动态贝叶斯网络相结合以进行基因调控网络的重建
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:一种面向服务的体系结构,用于集成遗传监管网络的建模和形式验证