Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nicolas Albarello
An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica