Hans Olsson. Flow Network based Diagnostics for Incorrect Synchronous Models. In Anton Haumer, editor, Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019. Volume 157 of Linköping Electronic Conference Proceedings, Linköping University Electronic Press, 2019. [doi]
Abstract is missing.