dcs2gts

 

Subproject

S2

Categories

Model reduction

Overview

dcs2gts is a compiler that translates DCS specifications in XML format to graph transformation systems suitable for analysis.

Publications

---

Benchmarks

Automated Rail Cars System, Car Platooning

Download

(will be available soon)

Manual

(will be available soon)

Status

Stable