![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
15th SAFECOMP 1996: Vienna, Austria
- 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 - Algirdas Avizienis:
Systematic Design of Fault-Tolerant Computers. 3-18 - Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Verification of Safety Requirements on Complex Systems. 21-30 - Maritta Heisel, Carsten Sühl:
Formal Specification of Safety-Critical Software with Z and Real-Time CSP. 31-45 - Janusz Górski, Bartosz Nowicki:
Safety Analysis Based on Object-oriented Modelling of Critical Systems. 46-60 - Hans-Peter Meske, Wolfgang A. Halang:
A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems. 61-70 - Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla:
Formal Verification as a Design Tool - The Transponder Lock Example. 73-82 - Antonia Bertolino, Lorenzo Strigini:
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. 83-94 - W. Kuhn, H. Selami:
Developing Dependable Software Using Prototyping and Test-Diversity. 95-104 - Bruno Ciciani, Alberto Pasquini:
Software Reliability Models and Test Coverage. 105-114 - Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet:
Defining the Unit Testing Level of Synchronous Data Flow Programs. 115-125 - Jeffrey M. Voas, Frank Charron, Keith W. Miller:
Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them? 126-135 - Yinong Chen, Jean Arlat:
Modeling Software Dependability Growth under Input Partition Testing. 136-145 - Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo:
An Holistic Approach to Dependability? 149-154 - Jean-Claude Laprie:
Software-based critical systems. 157-170 - 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. 173-182 - Walter J. Gutjahr:
Failure Risk Estimation via Markov Software Usage Models. 183-192 - Daniel E. Sniezek:
Design Methodologies and Systems Safety. 193-202 - Remi Eriksen, Terje Andersen, Claus Feyling, Hans-Joachim Petersen:
Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems. 205-218 - Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin:
Safety Analysis and Evaluation of an Air Traffic Control Computing System. 219-229 - Michel Houtermans, William M. Goble, Aarnout C. Brombacher:
Creating Markov Models for Applications in the Process Industry. 230-239 - Lars-Henrik Eriksson:
Specifying Railway Interlocking Requirements for Practical Use. 243-249 - 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. 250-265 - Neville Rowden:
A Safe, Reliable Control and Supervisory System for Railway Networks. 266-275 - Swapan Mitra, I. D. R. Shannon:
Assessment and Certification Requirements in the European Railway Industry. 276-285 - Chris W. Loftus, Fred Long, David Pugh, Ian Pyle:
Failure Classification Schemes for Analysing System Dependability. 289-298 - Jacqui Griffyth:
Human Factors in High Integrity Software Development: a Field Study. 301-310 - Stephen J. Westerman, G. Robert J. Hockey:
Human Factors in Safety-Critical Systems: An underestimated contribution? 311-321 - Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller:
PERE: Evaluation and Improvement of Dependable Processes. 322-331 - Zdzislaw Zurakowski:
Safety and Technology Transfer. 332-342 - Shoky Visram, Werner Artner, Philip Marsden:
Safety Case for the NERC Air Traffic Control System. 345 - Shoky Visram:
Part 1: Customer Safety Requirements for the NERC Air Traffic Control System. 346-350 - Philip Marsden:
Part 2: Bringing the Safety Dimension into the System and the Software Development. 351-356 - Werner Artner:
Part 3: Challenge and Effect of NERC on an Austrian Company. 357-361 - Peter H. Jesty, Keith M. Hobley:
Integrity Levels and their Application to Road Transport Systems. 365-374 - Clark Savage Turner, Debra J. Richardson, John L. King:
Legal Sufficiency of Testing Processes. 375-385 - Frank Koob, Markus Ullmann, Stefan Wittmann:
Application of Formal Methods in the Scope of IT-Security. 389-394 - Herwig Stöckl:
Reliability and Security in Communication Software: PBX Systems and CSTA Applications. 395-403 - Malte Borcherding:
Byzantine Agreement with Limited Authentication. 404-413 - Ferdinand J. Dafelmair:
Implementation of a Security Policy in Distributed Safety Related I&C Systems. 414-424
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.