Expressing Requirements in Modelica

Lena Buffoni, Peter Fritzson. Expressing Requirements in Modelica. Simul. Notes Eur., 25(3-4):185-189, 2015. [doi]

Abstract

Abstract is missing.