通拉嘎包
人员信息
优化列表
2010 – 2019
2012 【c5】 通拉嘎包 , 李红(音) , 赵晓青 :
人类家政基因功能位点周围核小体结合基序的分布。 BMEI公司 2012 : 876-879
2000 – 2009
2009 【c4】 通拉嘎包 , 迈克尔·琼斯 :
使用模型检查为部署到新环境中的软件组件生成测试用例。 ICST研讨会 2009 : 57-66 2008 【c3】 通拉嘎包 , 迈克尔·琼斯 :
具体软件环境中的模型检查抽象组件。 自旋 2008 : 42-59 2005 【c2】 通拉嘎包 , 迈克尔·琼斯 :
用磁盘进行时间效率模型检查。 TACAS公司 2005 : 526-540 2003 【c1】 迈克尔·琼斯 , 埃里克·默瑟 , 通拉嘎包 , 拉胡尔·库马尔 , 彼得·兰博恩 :
对显式状态并行模型检查器进行基准测试。 PDMC@CAV 2003 : 84-98