S.D.Dhodapkar公司
人员信息
优化列表
2000 – 2009
2007 【c6】 Ajith K.约翰 , 巴比塔·夏尔马 , A.K.巴塔查吉 , S.D.Dhodapkar公司 , S.拉梅什 :
MISRA C程序中运行时错误的检测:一种演绎方法。 SAFECOMP公司 2007 : 491-504 2003 [j3] 巴比塔·夏尔马 , S.D.Dhodapkar公司 , S.拉梅什 :
用于C程序正式验证的断言检查环境(ACE)。 Reliab公司。 工程系统。 安全。 81 ( 三 ) : 281-290 ( 2003 ) 【c5】 阿斯夫·伊克巴尔 , A.K.巴塔查吉 , S.D.Dhodapkar公司 , S.拉梅什 :
分布式反应系统的可视化建模与验证。 SAFECOMP公司 2003 : 22-34 2002 【c4】 巴比塔·夏尔马 , S.D.Dhodapkar公司 , S.拉梅什 :
C程序形式验证的断言检查环境(ACE)。 SAFECOMP公司 2002 : 284-295 2001 [注2] A.K.巴塔查吉 , S.D.Dhodapkar公司 , R.K.Shyamasundar先生 :
PERTS:反应系统规范和验证的环境。 Reliab公司。 工程系统。 安全。 71 ( 三 ) : 299-310 ( 2001 ) [j1] A.K.巴塔查吉 , S.D.Dhodapkar公司 , R.K.Shyamasundar先生 :
PERTS:反应系统规范和验证环境:[可靠性工程和系统安全,71(3),2001,299-310]。 Reliab公司。 工程系统。 安全。 72 ( 2 ) : 223 ( 2001 ) 2000 【c3】 A.K.巴塔查吉 , 戈帕·森 , S.D.Dhodapkar公司 , Kundapur Karunakar村 , 巴桑特·拉詹 , R.K.Shyamasundar先生 :
目标代码验证系统。 FTRTFT公司 2000 : 152-169
1990 – 1999
1999 【c2】 桑吉特·塞希亚 , R.K.Shyamasundar先生 , A.K.巴塔查吉 , S.D.Dhodapkar公司 :
将状态图翻译为Esterel。 形式方法世界大会 1999 : 983-1007 【c1】 A.K.巴塔查吉 , S.D.Dhodapkar公司 , 桑吉特·塞希亚 , R.K.Shyamasundar先生 :
无功系统规范和验证的图形环境。 SAFECOMP公司 1999 : 431-444