Membrane computing; P systems; Statistical model checking; Biological models; Performance benchmarking;
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:表达性统计模型检查方法在遗传回路分析中的应用
机译:用于路径分析的改进统计模型检查方法
机译:统计模型检查工具的比较分析
机译:开发主机漏洞检查工具并分析主机漏洞。
机译:在生化网络分析中利用模型检查的现有建模工具概述
机译:统计模型检验工具的比较分析