lixiang2018

0

followers

following

0

stars

lixiang2018's repositories

2017

000

Modelica_Requirements

Defining requirements formally and checking them when simulating

Language:Modelica000