Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study.

Johannes Kloos, Robert Eschbach

Browse the full ICST paper archive.