An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
Keyword(s):
2019 ◽
Vol 5
(3)
◽
pp. 57-64
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637
1982 ◽
Vol 46
(6)
◽
pp. 314-322