GitHub repository: modelica/Modelica_Requirements
Primary language: Modelica
Created: 2017-08-18T13:06:36Z
Description: Defining requirements formally and checking them when simulating