阿米尔·赛义德
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2000 – 2009
2009 [第11条] 戴夫·休斯 , 阿米尔·赛义德 :
DOORS危险管理:铁路基础设施项目。 SSS系统 2009 : 71-93 2003 [第10条] 保罗·马森 , 艾默·赛义德 , 保罗·阿克利 , 史蒂夫·里德尔 :
航空电子设备可追溯性的元建模方法:基于计算机的航空航天系统工程管理框架。 欧洲商业银行 2003 : 233-246 【c9】 保罗·马森 , 艾默·赛义德 , 史蒂夫·里德尔 :
关于标准符合性可追溯性的作用:跟踪规范要求。 SAFECOMP公司 2003 : 303-316
1990 – 1999
1999 【c8】 罗杰里奥·德莱莫斯 , 艾默·赛义德 :
验证期间验证形式模型的安全分析技术。 SAFECOMP公司 1999 : 58-66 1998 【c7】 凯文·霍林沃思 , 艾默·赛义德 :
CoRSA——一种基于约束的需求和安全分析方法。 SAFECOMP公司 1998 : 3-15 1997 【c6】 马克·塞宾 , 罗杰里奥·德莱莫斯 , 博鲁特·马夫科 , 史蒂夫·里德尔 , 艾默·赛义德 :
基于对象的失效特性建模和分析方法。 SAFECOMP公司 1997 : 281-294 1995 [注2] 罗杰里奥·德莱莫斯 , 艾默·赛义德 , 汤姆·安德森 :
分析过程控制系统的安全要求。 IEEE软件。 12 ( 三 ) : 42-53 ( 1995 ) 【c5】 艾默·赛义德 , 罗杰里奥·德·莱莫斯 , 汤姆·安德森 :
需求规范的安全分析:方法和技术。 SAFECOMP公司 1995 : 27-41 1993 【c4】 艾默·赛义德 , 罗杰里奥·德莱莫斯 , 汤姆·安德森 :
安全关键系统的稳健需求规范。 SAFECOMP公司 1993 : 219-229 1992 [j1] 罗杰里奥·德莱莫斯 , 艾默·赛义德 , 汤姆·安德森 :
作为安全关键系统需求分析案例的列车组。 计算。 J。 35 ( 1 ) : 30-40 ( 1992 ) 【c3】 罗杰里奥·德莱莫斯 , 艾默·赛义德 , 汤姆·安德森 :
安全关键系统的及时性要求分析。 FTRTFT公司 1992 : 171-192 【c2】 汤姆·安德森 , 罗杰里奥·德莱莫斯 , 约翰·菲茨杰拉德 , 艾默·赛义德 :
工业规模需求分析的框架支持。 混合动力系统 1992 : 426-451 1991 【c1】 艾默·赛义德 , 罗杰里奥·德莱莫斯 , 汤姆·安德森 :
形式化方法在安全关键系统需求分析中的作用:列车组示例。 FTCS(飞行时间控制系统) 1991 : 478-487 1990 【b1】 艾默·赛义德 :
安全关键计算系统的需求分析框架。 英国泰恩河畔纽卡斯尔大学, 1990
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)