扬·杜拉茨
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2019 【c4】 亚当·杜拉茨 , 艾曼·阿尔贾布 , 费伦茨·A·巴萨 , 贾瓦德·马苏德 , 罗兰·菲利普森 , 亨利克·埃里克森 , 扬·杜拉茨 , 费旭 , 曾英福 , 克里斯蒂安·格兰特 :
ISO 26262功能安全标准中使用严格模拟的高级危险分析和风险评估。 CyPhy/WESE公司 2019 : 108-126 2015 【c3】 瓦利德·塔哈 , 亚当·杜拉茨 , 曾英福 , 凯文·阿特金森 , 费伦茨·A·巴萨 , 保罗·布劳纳 , 扬·杜拉茨 , 费旭 , 罗伯特·卡特赖特 , 米查尔·科内肯(Michal Konecn) , 尤金尼奥·莫吉 , 贾瓦德·马苏德 , 佩雷里克·安德烈亚松 , 井上俊美 , 安妮塔·皮涅罗·圣安娜 , 罗兰·菲利普森 , 亚历山大·查普特 , 马西娅·奥马利 , 亚伦·D·艾姆斯 , 维罗尼卡·加斯佩斯 , Lise Hvatum公司 , 希亚姆·梅塔 , 亨利克·埃里克森 , 克里斯蒂安·格兰特 :
Acumen:网络物理系统研究的开放源代码测试平台。 物联网360(1) 2015 : 118-130 2014 [j1] 扬·杜拉茨 , 米查尔·科内肯(Michal Konecn) :
浮点软件验证的多项式函数间隔。 安。数学。 Artif公司。 智力。 70 ( 4 ) : 351-398 ( 2014 ) 【c2】 扬·杜拉茨 , 阿明·法朱迪安 , 米查尔·科内肯(Michal Konecn) , 瓦利德·塔哈 :
函数区间算术。 信息和通信管理系统 2014 : 677-684 2013 【c1】 米查尔·科内肯(Michal Konecn) , 瓦利德·塔哈 , 扬·杜拉茨 , 亚当·杜拉茨 , 亚伦·D·艾姆斯 :
封闭混合系统在Zeno点前后的行为。 CPSNA公司 2013 : 120-125
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)