1.Automatic Allocation of Safety Requirements to Components of a Software Product Line

作　　者：André L. de Oliveira ;André L. de Oliveira ;Yiannis Papadopoulos 等

出　　处：IFAC PapersOnLine. 2015 ;48(21):1309-1314.doi:10.1016/j.ifacol.2015.09.706

出版社：Elsevier

文章 ID：1005932798

文章详细
2.Maintaining Safety Arguments via Automatic Allocation of Safety Requirements

作　　者：Ioannis Sorokos ;Yiannis Papadopoulos ;Leonardo Bottaci

出　　处：IFAC PapersOnLine. 2016 ;49(28):25-30.doi:10.1016/j.ifacol.2016.11.005

出版社：Elsevier

文章 ID：1005930568

文章详细
3.Quantitative evaluation of Pandora Temporal Fault Trees via Petri Nets

作　　者：Sohag Kabir ;Martin Walker ;Yiannis Papadopoulos

出　　处：IFAC PapersOnLine. 2015 ;48(21):458-463.doi:10.1016/j.ifacol.2015.09.569

出版社：Elsevier

文章 ID：1005932661

文章详细
4.A Synthesis of Logic and Biology in the Design of Dependable Systems

作　　者：Yiannis Papadopoulos

出　　处：IFAC PapersOnLine. 2015 ;48(7):1-8.doi:10.1016/j.ifacol.2015.06.465

出版社：Elsevier

文章 ID：1019238760

文章详细
5.Automating Allocation of Development Assurance Levels: an extension to HiP-HOPS

作　　者：Ioannis Sorokos ;Yiannis Papadopoulos ;Luis Azevedo 等

出　　处：IFAC PapersOnLine. 2015 ;48(7):9-14.doi:10.1016/j.ifacol.2015.06.466

出版社：Elsevier

文章 ID：1019238761

文章详细
6.Comparing Automatic Allocation of Safety Integrity Levels in the Aerospace and Automotive Domains

作　　者：Ioannis Sorokos ;Luis P. Azevedo ;Yiannis Papadopoulos 等

出　　处：IFAC PapersOnLine. 2016 ;49(3):184-190.doi:10.1016/j.ifacol.2016.07.031

出版社：Elsevier

文章 ID：1019239197

文章详细

	Yiannis Papadopoulos	6篇
	Ioannis Sorokos	3篇
	Martin Walker	3篇
	David Parker	2篇
	André L. de Oliveira	1篇

	David J. Parker	1篇
	Ibrahim Habli	1篇
	Leonardo Bottaci	1篇
	Luis Azevedo	1篇
	Luis P. Azevedo	1篇
	Luís S. Azevedo	1篇
	Paulo C. Masiero	1篇
	Rosana T.V. Braga	1篇
	Sohag Kabir	1篇
	Tim Kelly	1篇

全文

出版年度

作者

文章类型

来源期刊

语种

检索条件:"( ( 高级检索(( ((AU:(("Yiannis Papadopoulos")))) )) ) )"

	2016	2篇
	2015	4篇