September 21-23, 2015 in Palais des Congrès de Versailles, France
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

Papers by Pablo Fontes De Miranda:

Title: An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
Authors: Wladimir Schamai, Lena Buffoni, Nicolas Albarello, Pablo Fontes De Miranda and Peter Fritzson
Links: Abstract, Full paper