Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches

Lena Rogovchenko-Buffoni, Andrea Tundis, Peter Fritzson, Alfredo Garro. Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches. In Henrik Nilsson, editor, Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2013, April 19, University of Nottingham, Nottingham, UK. Volume 84 of Linköping Electronic Conference Proceedings, pages 15-24, Linköping University Electronic Press, 2013. [doi]

Abstract

Abstract is missing.