奥利弗·莫勒
人员信息
其他同名人员
优化列表
2000 – 2009
2002 【c7】 亚历山大·戴维 , 奥利弗·莫勒 , 王毅 :
带有实时扩展的UML状态图的形式验证。 FASE公司 2002 : 218-232 【c6】 奥利弗·莫勒 :
停车可以让您更快到达目的地-模型增强可以加快实时模型检查。 时间系统理论与实践 2002 : 202-217 【c5】 奥利弗·莫勒 , 哈拉尔德街 , 玛丽亚·索里亚 :
稠密实时系统的谓词抽象。 时间系统理论与实践 2002 : 218-237 2001 【c4】 奥利弗·莫勒 , 拉杰夫·阿鲁尔 :
分层分区的启发式及其在模型检查中的应用。 CHARME公司 2001 : 71-85 2000 【c3】 托比亚斯·阿姆内尔 , 格德·贝尔曼 , 约翰·本特森 , 佩德罗·达吉尼奥 , 亚历山大·戴维 , 安斯加·芬克 , 托马斯·胡恩 , 伯特兰·珍妮特 , 金·古德斯特兰·拉森 , 奥利弗·莫勒 , 保罗·佩特森 , 卡斯滕·韦斯 , 王毅 :
UPPAAL-现在、未来和未来。 移动 2000 : 99-124
1990 – 1999
1998 [c2] 奥利弗·莫勒 , 哈拉尔德街 :
求解位向量方程。 FMCAD公司 1998 : 36-48 1997 【c1】 大卫·赛卢克 , 奥利弗·莫勒 , 哈拉尔德街 :
固定大小位向量理论的有效决策过程。 CAV汽车 1997 : 60-71