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

doi 10.3384/ecp15118911
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Linköping University Electronic Press