默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

哈罗德·布鲁因杰斯

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BozzanoBCKNT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozzanoBCKNT19
马可·波扎诺,哈罗德·布鲁因杰斯,亚历山德罗·西马蒂,Joost-Pieter Katoen公司,托马斯·诺尔,斯特凡诺·托内塔:
罗盘3.0。 TACAS（1） 2019:379-385
2018
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/博士/布鲁因杰斯18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Bruintjes18
哈罗德·布鲁因杰斯:
航空航天系统基于模型的可靠性分析。德国亚琛RWTH大学，2018
2016
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mbmv/DehnertJ0CVKAB16文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mbmv/DhenertJ0CVKAB16
克里斯蒂安·德内特,塞巴斯蒂安·荣格斯,尼尔斯·詹森,弗洛里安·科齐利厄斯,马蒂亚斯·沃尔克,Joost-Pieter Katoen公司,埃里卡·阿布拉哈姆,哈罗德·布鲁因杰斯:
概率系统的参数综合。 MBMV公司 2016:72-74
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BosBT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BosBT16
维克多·博斯,哈罗德·布鲁因杰斯,斯特凡诺·托内塔:
系统和软件属性目录。 SAFECOMP公司 2016:88-101
2015
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DhenertJJCVBKA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DhenertJJCVBKA15
克里斯蒂安·德内特,塞巴斯蒂安·荣格斯,尼尔斯·詹森,弗洛里安·科齐利厄斯,马蒂亚斯·沃尔克,哈罗德·布鲁因杰斯,Joost-Pieter Katoen公司,埃里卡·阿布拉哈姆:
PROPhESY：概率参数分析工具。 CAV（1） 2015:214-231
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dsn/BruintjesKL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dsn/BruintjesKL15
哈罗德·布鲁因杰斯,Joost-Pieter Katoen公司,大卫·莱森斯:
AADL模型中时间可达性的统计方法。 DSN（DSN） 2015:81-88
2014
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/BohlenderBJKNN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/BohlenderBJKNN14
迪米特里·博伦德,哈罗德·布鲁因杰斯,塞巴斯蒂安·荣格斯,延斯·卡特兰,越南元,托马斯·诺尔:
实时随机模型的统计模型检查陷阱综述。 ISoLA（2） 2014:177-192

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。