September 21-23, 2015 in Palais des Congrès de Versailles, France
[Proceedings]
[Sessions]
[Authors]
[Schedule]
[Further material]
Papers by Lucas Satabin:
Title: Towards a Formalized Modelica Subset
Authors: Lucas Satabin, Jean-Louis Colaço, Olivier Andrieu and Bruno Pagano
Links: Abstract, Full paper