巴比塔·夏尔马
人员信息
优化列表
2000 – 2009
2008 [j3] 巴比塔·夏尔马 :
恶性疟原虫传播阻断疫苗候选蛋白Pfs25的结构和机制:分子模型和对接研究。 硅生物。 8 ( 3-4 ) : 193-206 ( 2008 ) [注2] 弗兰克·范·布鲁格尔 , 巴比塔·夏尔马 , 詹姆斯·沃雷尔 :
概率系统无折扣近似行为伪度量。 日志。 方法计算。 科学。 4 ( 2 ) ( 2008 ) [i1] 弗兰克·范·布鲁格尔 , 巴比塔·夏尔马 , 詹姆斯·沃雷尔 :
概率系统无折扣近似行为伪度量。 CoRR公司 abs/0803.3796 ( 2008 ) 2007 【c4】 弗兰克·范·布鲁格尔 , 巴比塔·夏尔马 , 詹姆斯·沃雷尔 :
概率系统无折扣近似行为伪度量。 FoSSaCS公司 2007 : 123-137 【c3】 Ajith K.约翰 , 巴比塔·夏尔马 , A.K.巴塔查吉 , S.D.Dhodapkar公司 , S.拉梅什 :
MISRA C程序中运行时错误的检测:一种演绎方法。 SAFECOMP公司 2007 : 491-504 2005 【c2】 巴比塔·夏尔马 , 帕里托什·K·潘迪亚 , Supratik Chakraborty公司 :
区间持续时间逻辑的有界有效性检查。 TACAS公司 2005 : 301-316 2003 [j1] 巴比塔·夏尔马 , S.D.Dhodapkar公司 , S.拉梅什 :
用于C程序正式验证的断言检查环境(ACE)。 Reliab公司。 工程系统。 安全。 81 ( 三 ) : 281-290 ( 2003 ) 2002 【c1】 巴比塔·夏尔马 , S.D.Dhodapkar公司 , S.拉梅什 :
C程序形式验证的断言检查环境(ACE)。 SAFECOMP公司 2002 : 284-295