• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 16 matches

• 2007
• 
  Liz Beswick, Jonathan Kettleborough:
  A Proactive Approach to Enhancing Safety Culture. SSS 2007: 105-115
• 
  Marcelin Fortes da Cruz, Paul Raistrick:
  AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration. SSS 2007: 217-241
• 
  Brian Dobbing, Samantha Lautieri:
  Dependability-by-Contract. SSS 2007: 35-51
• 
  Paul Edwards, Andrew Furse, Andrew Vickers:
  Independently Assessing Legacy Safety Systems. SSS 2007: 163-178
• 
  Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly:
  Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS 2007: 133-146
• 
  Ibrahim Habli, Tim Kelly:
  Achieving Integrated Process and Product Safety Arguments. SSS 2007: 55-68
• 
  Peter H. Jesty, David D. Ward:
  Towards a Unified Approach to Safety and Security in Automotive Systems. SSS 2007: 21-34
• 
  Chris W. Johnson, C. Michael Holloway:
  A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). SSS 2007: 85-104
• 
  Barry Kirwan, W. Huw Gibson:
  CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture. SSS 2007: 197-214
• 
  Richard Maguire:
  Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes. SSS 2007: 117-129
• 
  Rodney May:
  Safety Assessments of Air Traffic Systems. SSS 2007: 179-195
• 
  Alan Newton, Andrew Vickers:
  The Benefits of Electronic Safety Cases. SSS 2007: 69-82
• 
  Colin M. O'Halloran, Clive H. Pygott:
  Formalising C and C++ for Use in High Integrity Systems. SSS 2007: 243-260
• 
  John Ridgway:
  Achieving Safety through Security Management. SSS 2007: 3-20
• 
  John Spriggs:
  The Sum of its Parts. SSS 2007: 147-159
• 
  Felix Redmill, Tom Anderson:
  The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007. Springer 2007, ISBN 978-1-84628-805-0 [contents]