Login / Signup

Logic and Epistemology in Safety Cases.

John Rushby
Published in: SAFECOMP (2013)
Keyphrases
  • search engine
  • logic programming
  • multi valued
  • real world
  • data mining
  • computational properties
  • nonmonotonic logics