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

• 1993
• 
  Tom Anderson:
  Safety - status and perspectives. SAFECOMP 1993: 3-6
• 
  Jean-Pierre Banâtre:
  Subsidiaries and start-up Spin-off companies of Inria. SAFECOMP 1993: 142-144
• 
  Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli:
  Data Flow Control Systems: an Example of Safety Validation. SAFECOMP 1993: 9-20
• 
  Glenn Bruns, Stuart Anderson:
  Validating Safety Models with Fault Trees. SAFECOMP 1993: 21-30
• 
  Wojciech Cellary:
  Human Medium in Technology Transfer. SAFECOMP 1993: 145-146
• 
  Morris F. Chudleigh:
  Hazard Analysis Using HAZOP: A Case Study. SAFECOMP 1993: 99-108
• 
  Morris F. Chudleigh, J. N. Clare:
  The Benefits of SUSI: Safety Analysis of User System Interaction. SAFECOMP 1993: 123-132
• 
  Paul O. Collinson, Susan Oppert, Steven Hughes:
  The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System. SAFECOMP 1993: 41-49
• 
  Matjaz Colnaric, Wolfgang A. Halang:
  Exception Handling and Predictability in Hard Real-Time Systems. SAFECOMP 1993: 371-378
• 
  S. S. Dhanjal, R. Fink:
  Safety Analysis of Clinical Laboratory Systems. SAFECOMP 1993: 111-122
• 
  Hugo Fierz, Hansruedi Müller, Spiros Netos:
  CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems. SAFECOMP 1993: 361-370
• 
  Igor M. Galkin:
  A Knowledge-Based Approach to Program Testing and Analysis. SAFECOMP 1993: 207-216
• 
  C. J. Goring:
  Safety Assessment - The Critical System Suppliers View. SAFECOMP 1993: 91-98
• 
  Wolfgang A. Halang, Johan Scheepstra:
  PLC-Implementation of Emergency Shut-Down Systems. SAFECOMP 1993: 53-62
• 
  Mohamed Kaâniche, Karama Kanoun:
  Software Failure Data Analysis of two Successive Generations of a Switching System. SAFECOMP 1993: 230-239
• 
  Henryk Krawczyk, Saleh Al-Karaawy:
  Reliability and Safety Analysis of Hierarchical Voting Schemes. SAFECOMP 1993: 276-285
• 
  Walter Kuhn, Erwin Schoitsch:
  Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes. SAFECOMP 1993: 253-264
• 
  Carl E. Landwehr:
  How Far Can You Trust A Computer? SAFECOMP 1993: 313-325
• 
  Jean-Claude Laprie:
  Dependability: from Concepts to Limits. SAFECOMP 1993: 157-168
• 
  Zhiming Liu, Jens Nordahl, Erling Vagn Sørensen:
  Composition and Refinement of Probabilistic Real-Time Systems. SAFECOMP 1993: 31-40
• 
  Bob Malcolm:
  Technology Transfer - from Purpose to Practice. SAFECOMP 1993: 147-153
• 
  Ludovic Mé:
  Security Audit Trail Analysis Using Genetic Algorithms. SAFECOMP 1993: 329-340
• 
  Meine Jochum Peter van der Meulen, Tor Stålhane, B. Cole:
  Programmable Electronic System Analysis Technique in Safety Critical Applications. SAFECOMP 1993: 85-90
• 
  Pierre Molinaro, Olivier H. Roux:
  Oreste : a Reliable Reactive Real-Time Language. SAFECOMP 1993: 302-310
• 
  Gioacchino A. Mutone, Martin Rothfelder:
  The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application. SAFECOMP 1993: 63-72
• 
  Reinhard Posch:
  MRSA - a new public key encryption method. SAFECOMP 1993: 341-348
• 
  Johannes Rainer:
  Software validation with CASE-TOOLS. SAFECOMP 1993: 240-249
• 
  Felix Redmill:
  Issues Affecting Technology Transfer and Experience with a Community Club. SAFECOMP 1993: 135-141
• 
  Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher:
  Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. SAFECOMP 1993: 73-82
• 
  Amer Saeed, Rogério de Lemos, Tom Anderson:
  Robust Requirements Specifications for Safety - Critical Systems. SAFECOMP 1993: 219-229

skipping 8 more matches