鲍勃·赫鲁斯卡
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【c2】 托马斯·鲍尔 , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 卡蒂亚·迪·布拉西奥 , 扎因·沙赫瓦尔 :
建模验证与确认工作流以改进软件密集型系统的开发过程。 DSN-W公司 2023 : 239-242 2021 【c1】 托马斯·鲍尔 , Joseba Andoni阿吉雷 , 大卫·富尔科 , 沃尔夫冈·赫兹纳 , 鲍勃·赫鲁斯卡 , 穆斯塔法·卡拉卡 , 大卫·佩雷拉 , 何塞·普伦萨 , 鲁珀特·施利克 , 罗伯特·西彻 , 阿莱斯·斯马尔卡 , 乌古尔·亚扬 , 贝罗斯·桑切利(Behrooz Sangchoolie) :
欧洲大规模研究项目VALU3S中验证和确认工作流的跨域建模-邀请论文。 SAMOS公司 2021 : 368-382
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)