Sign in

Just Enough Formality in Assurance Argument Structures.

Torin VigerRick SalayGehan M. K. SelimMarsha Chechik
Published in: SAFECOMP (2020)
Keyphrases
  • argument structures
  • predicate argument
  • formal specification
  • tree kernels
  • similarity measure
  • text classification
  • dependency parsing