Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Pablo Fontes De Miranda

An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica

English