...
机译:形式方法在生物管理网络中的应用:用时间逻辑扩展托马斯的异步逻辑方法
biological regulatory networks; formal methods; temporal logic; model checking; CELL-DIFFERENTIATION; FEEDBACK-CIRCUITS; IMMUNE-RESPONSE; STEADY-STATES; MULTISTATIONARITY; SYSTEMS; IDENTIFICATION; BEHAVIOR; MEMORY; LOOPS;
机译:形式方法在生物管理网络中的应用:用时间逻辑扩展托马斯的异步逻辑方法
机译:从时间序列数据从头重建基因调控网络,这是一种基于形式方法的方法
机译:基于时间认知逻辑的异步故障检测与识别组件的形式化设计
机译:关于模型基因监管网络模型基因监管网络的使用
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:生物网络的集中度分析方法及其在基因调控网络中的应用
机译:Web应用程序运行时验证的正式框架:ccope扩展的线性时态逻辑支持的方法