• 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 12 matches

• 2005
• 
  Anthony Cant:
  Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004. CRPIT 47, Australian Computer Society 2005 [contents]
• 2004
• 
  Paul Chinneck, David John Pumfrey, John A. McDermid:
  The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. SCS 2004: 33-41
• 
  Michael Ellims:
  On Wheels, Nuts and Software. SCS 2004: 67-76
• 
  Christian Hamoy, David Hemer, Peter A. Lindsay:
  HazLog: Tool Support for Hazard Management. SCS 2004: 77-87
• 
  Michael Jones-Lee, Graham Loomes:
  Eliciting Measures of Value for Health and Safety. SCS 2004: 49-58
• 
  Peter B. Ladkin:
  Causal Analysis of the ACAS/TCAS Sociotechnical System. SCS 2004: 3-12
• 
  George Nikandros:
  COTS - Size Does Matter. SCS 2004: 59-66
• 
  Yiannis Papadopoulos, David Parker, Christian Grante:
  A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. SCS 2004: 89-95
• 
  Gordon R. Stone:
  Complex Reactive Real Time Systems and the Safety Case. SCS 2004: 23-32
• 
  Martyn Thomas:
  Engineering Judgement. SCS 2004: 43-47
• 
  Ed Williams:
  Airborne Collision Avoidance System. SCS 2004: 97-110
• 
  Fan Ye, Tim Kelly:
  Contract-Based Justification for COTS Component within Safety Critical Applications. SCS 2004: 13-22