From Domain Model to Domain-specific Language for Railway Control Systems

A. E. Haxthausen, N. Christensen, R. Dyhrberg

TypeConference paper [With referee]
ConferenceProceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)), Braunschweig
Year2004
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering