• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A New Approach to creating Clear Safety Arguments.

Richard HawkinsTim P. KellyJohn C. KnightPatrick J. Graydon
Published in: SSS (2011)
Keyphrases
  • neural network
  • computer vision
  • database systems
  • optimal solution
  • search algorithm
  • multi agent systems
  • computational complexity
  • argumentation systems
  • safety critical
  • safety analysis