Login / Signup

Using Domain Specific Languages to Support Verification in the Railway Domain.

Phillip JamesArnold BeckmannMarkus Roggenbach
Published in: Haifa Verification Conference (2012)
Keyphrases
  • programming language
  • domain independent
  • general purpose
  • domain specific languages
  • computer vision
  • user interface
  • domain specific
  • semantic web technologies
  • verification method