Login / Signup

Mechanized Support for Assurance Case Argumentation.

John Rushby
Published in: JSAI-isAI Workshops (2013)
Keyphrases
  • data mining
  • artificial intelligence
  • learning environment
  • real time
  • data structure