A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.

Anne E. Haxthausen

Browse the full SAFECOMP paper archive.