A Denotational Model for Component-Based Risk Analysis

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Brændeland, Gyrd Refsdal, Atle Stølen, Ketil
Volume:	7253
Book title:	Formal Aspects of Component Software
Series:	LNCS	Pages:	12-41




@conference{brs12, author = "Gyrd Br{\ae}ndeland and Atle Refsdal and Ketil St{\o}len", booktitle = "Formal Aspects of Component Software", note = "Partners: SINTEF; Projects: COMA, DIGIT, NESSoS; No tier; Citations: 2", pages = "12-41", publisher = "Springer", series = "LNCS", title = "{A} {D}enotational {M}odel for {C}omponent-{B}ased {R}isk {A}nalysis", volume = "7253", year = "2012", }
Note:	Partners: SINTEF; Projects: COMA, DIGIT, NESSoS; No tier; Citations: 2
[Bibtex]