IEEE - Institute of Electrical and Electronics Engineers, Inc. - Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components

2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)

Author(s): Bindelli, S. ; Nitto, E.D. ; Furia, C.A. ; Rossi, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2010
Conference Location: Oxford, United Kingdom, United Kingdom
Conference Date: 22 March 2010
Page(s): 85 - 94
ISBN (Electronic): 978-1-4244-6639-9
ISBN (Paper): 978-1-4244-6638-2
DOI: 10.1109/ICECCS.2010.65
Regular:

When dependability of systems with a large number of components is a concern, being able to model and analyze their properties, especially non-functional ones, in a formal and automated way... View More

Advertisement