search

R-daneel-olivaw / metamodel-checker

Research goal 1 for MMath
1 stars 0 forks source link

Xmc 2 #37

Closed R-daneel-olivaw closed 9 years ago

R-daneel-olivaw commented 9 years ago

added causality and fidelity properties