Login / Signup

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

Devleena GhoshChittaranjan Mandal
Published in: APSEC (2015)
Keyphrases
  • graph grammars
  • context sensitive
  • high level
  • domain specific
  • model checking
  • grammar rules