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