Login / Signup

CyberGSN: A Semi-formal Language for Specifying Safety Cases.

Tewodros A. BeyeneCarmen Cârlan
Published in: DSN Workshops (2021)
Keyphrases
  • formal language
  • formal semantics
  • natural language
  • formal languages
  • natural language interface
  • representation language
  • machine learning