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