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

• 1997
• 
  Erwin Schoitsch:
  15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996. Springer 1997, ISBN 978-3-540-76070-2 [contents]
• 1996
• 
  G. Aprea, P. Colantuoni, P. Firpo, R. Lido, D. Pellegrino, M. Rapone, F. Senesi:
  SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview. SAFECOMP 1996: 250-265
• 
  Werner Artner:
  Part 3: Challenge and Effect of NERC on an Austrian Company. SAFECOMP 1996: 357-361
• 
  Algirdas Avizienis:
  Systematic Design of Fault-Tolerant Computers. SAFECOMP 1996: 3-18
• 
  Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
  Formal Verification of Safety Requirements on Complex Systems. SAFECOMP 1996: 21-30
• 
  Antonia Bertolino, Lorenzo Strigini:
  Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. SAFECOMP 1996: 83-94
• 
  Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller:
  PERE: Evaluation and Improvement of Dependable Processes. SAFECOMP 1996: 322-331
• 
  Malte Borcherding:
  Byzantine Agreement with Limited Authentication. SAFECOMP 1996: 404-413
• 
  Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla:
  Formal Verification as a Design Tool - The Transponder Lock Example. SAFECOMP 1996: 73-82
• 
  Yinong Chen, Jean Arlat:
  Modeling Software Dependability Growth under Input Partition Testing. SAFECOMP 1996: 136-145
• 
  Bruno Ciciani, Alberto Pasquini:
  Software Reliability Models and Test Coverage. SAFECOMP 1996: 105-114
• 
  Ferdinand J. Dafelmair:
  Implementation of a Security Policy in Distributed Safety Related I&C Systems. SAFECOMP 1996: 414-424
• 
  Remi Eriksen, Terje Andersen, Claus Feyling, Hans-Joachim Petersen:
  Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems. SAFECOMP 1996: 205-218
• 
  Lars-Henrik Eriksson:
  Specifying Railway Interlocking Requirements for Practical Use. SAFECOMP 1996: 243-249
• 
  Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin:
  Safety Analysis and Evaluation of an Air Traffic Control Computing System. SAFECOMP 1996: 219-229
• 
  William M. Goble, Julia V. Bukowski, Aarnout C. Brombacher:
  Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability. SAFECOMP 1996: 173-182
• 
  Janusz Górski, Bartosz Nowicki:
  Safety Analysis Based on Object-oriented Modelling of Critical Systems. SAFECOMP 1996: 46-60
• 
  Jacqui Griffyth:
  Human Factors in High Integrity Software Development: a Field Study. SAFECOMP 1996: 301-310
• 
  Walter J. Gutjahr:
  Failure Risk Estimation via Markov Software Usage Models. SAFECOMP 1996: 183-192
• 
  Maritta Heisel, Carsten Sühl:
  Formal Specification of Safety-Critical Software with Z and Real-Time CSP. SAFECOMP 1996: 31-45
• 
  Michel Houtermans, William M. Goble, Aarnout C. Brombacher:
  Creating Markov Models for Applications in the Process Industry. SAFECOMP 1996: 230-239
• 
  Peter H. Jesty, Keith M. Hobley:
  Integrity Levels and their Application to Road Transport Systems. SAFECOMP 1996: 365-374
• 
  Frank Koob, Markus Ullmann, Stefan Wittmann:
  Application of Formal Methods in the Scope of IT-Security. SAFECOMP 1996: 389-394
• 
  W. Kuhn, H. Selami:
  Developing Dependable Software Using Prototyping and Test-Diversity. SAFECOMP 1996: 95-104
• 
  Jean-Claude Laprie:
  Software-based critical systems. SAFECOMP 1996: 157-170
• 
  Chris W. Loftus, Fred Long, David Pugh, Ian Pyle:
  Failure Classification Schemes for Analysing System Dependability. SAFECOMP 1996: 289-298
• 
  Philip Marsden:
  Part 2: Bringing the Safety Dimension into the System and the Software Development. SAFECOMP 1996: 351-356
• 
  Hans-Peter Meske, Wolfgang A. Halang:
  A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems. SAFECOMP 1996: 61-70
• 
  Swapan Mitra, I. D. R. Shannon:
  Assessment and Certification Requirements in the European Railway Industry. SAFECOMP 1996: 276-285
• 
  Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo:
  An Holistic Approach to Dependability? SAFECOMP 1996: 149-154

skipping 10 more matches