Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification.

Devleena Ghosh, Chittaranjan Mandal

Browse the full APSEC paper archive.