Items by "Franceschinis, G."

Baarir, S. and Beccuti, M. and Dutheillet, C. and Franceschinis, G. (2010) From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets. In: 4th International ICST Conference on Performance Evaluation Methodologies and Tools.

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.