Skip to content

Added terms from Acada Requirements Specification

Karl Kosack requested to merge update_with_acada into main
  • added all new terms, with cross-references
  • a few minor changes (typo fixes, OES to ACADA), but generally identical to original
  • added some comments in comments sections for definitions that I think may be problematic

Merge request reports