EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

15213 Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

Home Policy Brochure Browse Search User Area Contact Help

Boudali, H. and Crouzen, P. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Stoelinga, M.I.A. (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. (Invited) In: Proceedings of the second workshop on foundations of interface theories (FIT), April 10, 2008, Budapest, Hungary. pp. 5-10. University of Aalborg. ISBN not assigned

Full text available as:

Postscript

- Requires a viewer, such as GSview
1509 Kb

Item Type:	Conference or Workshop Paper (Full Paper, Invited/Keynote Talk)
Research Group:	EWI-FMT: Formal Methods and Tools, EWI-DACS: Design and Analysis of Communication Systems
Research Program:	CTIT-DSN: Dependable Systems and Networks
Research Project:	MOQS: Modeling and Analysis of QoS of Component-Based Designs, Voss-2: Validation of Stochastic Systems II, ARTIST-2: Network of Excellence on Embedded Systems Design, Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems
ID Code:	15213
Status:	Published
Deposited On:	19 March 2009
Refereed:	No
International:	Yes
More Information:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item