从32查看出版物1-32
2023
2022
2021
- VALU3S ECSEL项目:自动化系统安全和安保的验证和确认Joseba Andoni Agirre公司,Leire Etxeberria公司,劳尔·巴博萨,Stylianos Basagiannis公司,乔治·吉安塔米迪斯,托马斯·鲍尔,Enrico Ferrari公司,米凯尔·拉巴恩·埃斯纳奥拉,瓦妮莎·奥拉尼,约翰尼·伯格,大卫·佩雷拉,何塞·普伦萨,鲁珀特·施利克,亚历斯·斯姆卡,沃尔特·蒂贝蒂,斯特凡诺·托内塔,马可·波扎诺,艾哈迈特·亚齐奇,贝罗斯·桑切利(Behrooz Sangchoolie)。妈妈, 87:104349,2021年11月。 [美国国防部]
- 欧洲大型研究项目VALU3S中验证和确认工作流的跨域建模-邀请论文托马斯·鲍尔,Joseba Andoni阿吉雷,大卫·富尔科,沃尔夫冈·赫兹纳,鲍勃·赫鲁斯卡,穆斯塔法·卡拉卡,大卫·佩雷拉,何塞·普伦萨,鲁珀特·施利克,罗伯特·西彻,亚历斯·斯姆卡,乌古尔·亚扬,贝罗斯·桑切利(Behrooz Sangchoolie)。萨摩斯2022:368-382 [美国国防部]
- 自动化系统安全、网络安全和隐私验证和确认方法分类提案何塞·路易斯·德拉瓦拉,托马斯·鲍尔,伯恩哈德·费舍尔,穆斯塔法·卡拉卡,亨利克·马德拉,马丁·马施尼格,西尔维娅·马齐尼,吉安·斯皮勒·南迪,法比奥·帕特龙,大卫·佩雷拉,何塞·普伦萨,鲁珀特·施利克,斯特凡诺·托内塔,乌古尔·亚扬,贝罗斯·桑切利(Behrooz Sangchoolie)。2021年魁北克:325-340 [美国国防部]
2020
- VALU3S ECSEL项目:自动化系统安全和安保的验证和确认R.巴博萨,Stylianos Basagiannis公司,乔治·吉安塔米迪斯,H.贝克尔,Enrico Ferrari公司,J.贾希克,A.卡纳克,M.拉巴恩·埃斯纳奥拉,V.奥拉尼,D.佩雷拉,路易吉·波曼特,R.Schlick先生,A.斯姆卡,A.亚兹奇,彼得·福克森,贝罗斯·桑切利(Behrooz Sangchoolie)。2020年dsd:352-359 [美国国防部]
2019
2018
2017
2015
2014
2013
- 汽车行业功能安全基准Mafijul马里兰州伊斯兰,贝罗斯·桑切利(Behrooz Sangchoolie),法特梅赫·阿亚托拉希,丹尼尔·斯卡林,乔尼·文特,弗雷德里克·托纳,安德烈亚斯·卡克,马蒂亚斯·尼伯格,埃米利亚·维拉尼,约翰·哈拉尔德森,帕特里克·伊萨克森,约翰·卡尔森。2013年ewdc:111-125 [美国国防部]
2012
登录或注册以查看更多结果。