Franceschinis, G. and Gribaudo, M. and Iacono, M. and Marrone, S. and Moscato, F. and Vittorini, V. (2010) Interfaces and Binding in Component Based Development of Formal Models. In: 4th International ICST Conference on Performance Evaluation Methodologies and Tools.
![[thumbnail of 11530.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "11530.pdf")
PDF
11530.pdf
Download (1MB)
Abstract
Component based modeling is of great importance for building and analyzing models of real systems. It is based on a well known paradigm which makes use of abstraction and composition. In this paper we focus on abstraction, by describing a practical approach to the definition of very simple interface
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:02 |
| Last Modified: | 18 Apr 2026 04:30 |
| URI: | http://eprints.eai.eu/id/eprint/3234 |
Actions (login required)
- View Item