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 |
--- |
Automated Rail Cars System, Car Platooning |
|
Download |
(will be available soon) |
Manual |
(will be available soon) |
Status |
Stable |