Interfaces and binding in component based development of formal models

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]

@inproceedings{FranceschinisGIMMV09,
  title = {Interfaces and binding in component based development of formal models},
  author = {Giuliana Franceschinis and Marco Gribaudo and Mauro Iacono and Stefano Marrone and Francesco Moscato and Valeria Vittorini},
  year = {2009},
  doi = {10.4108/ICST.VALUETOOLS2009.7677},
  url = {http://doi.acm.org/10.4108/ICST.VALUETOOLS2009.7677},
  researchr = {https://researchr.org/publication/FranceschinisGIMMV09},
  cites = {0},
  citedby = {0},
  pages = {44},
  booktitle = {4th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS '09, Pisa, Italy, October 20-22, 2009},
  editor = {Giovanni Stea and Jean Mairesse and José Mendes},
  publisher = {ACM},
  isbn = {978-963-9799-70-7},
}