尼古拉斯·德苏贝斯(Nicolas Descoubes)
人员信息
优化列表
2000 – 2009
2006 【c2】 休伯特·加拉维 , Radu Mateescu公司 , 达米安·贝加米尼 , 阿德里安·库里克 , 尼古拉斯·德苏贝斯(Nicolas Descoubes) , 克里斯托夫·朱伯特 , 伊琳娜·斯马兰达切·斯图姆 , Gilles Stragier公司 :
DISTRIBUTOR和BCG_MERGE:分布式显式状态空间生成工具。 TACAS公司 2006 : 445-449 2005 【c1】 达米安·贝加米尼 , 尼古拉斯·德苏贝斯(Nicolas Descoubes) , 克里斯托夫·朱伯特 , Radu Mateescu公司 :
BISIMULATOR:一个模块化工具,用于即时等价性检查。 TACAS公司 2005 : 581-585