Login / Signup

Formalism in Safety Cases.

John M. Rushby
Published in: SSS (2010)
Keyphrases
  • knowledge representation
  • situation calculus
  • search algorithm
  • relational databases
  • case based reasoning
  • case base
  • trade off