Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini. Interfaces and binding in component based development of formal models. In Giovanni Stea, Jean Mairesse, José Mendes, editors, 4th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS '09, Pisa, Italy, October 20-22, 2009. pages 44, ACM, 2009. [doi]
Abstract is missing.