Abstract is missing.
- Safety - status and perspectivesTom Anderson. 3-6 [doi]
- Data Flow Control Systems: an Example of Safety ValidationCinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli. 9-20 [doi]
- Validating Safety Models with Fault TreesGlenn Bruns, Stuart Anderson. 21-30 [doi]
- Composition and Refinement of Probabilistic Real-Time SystemsZhiming Liu, Jens Nordahl, Erling Vagn Sørensen. 31-40 [doi]
- The Application of Formal Methods for the Redevelopment of a Laboratory Information Management SystemPaul O. Collinson, Susan Oppert, Steven Hughes. 41-49 [doi]
- PLC-Implementation of Emergency Shut-Down SystemsWolfgang A. Halang, Johan Scheepstra. 53-62 [doi]
- The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control ApplicationGioacchino A. Mutone, Martin Rothfelder. 63-72 [doi]
- Design and Analysis of a Failsafe Algorithm for Solving Boolean EquationsHarvey E. Rhody, Vittorio Manoni, James R. Hoelscher. 73-82 [doi]
- Programmable Electronic System Analysis Technique in Safety Critical ApplicationsMeine Jochum Peter van der Meulen, Tor Stålhane, B. Cole. 85-90 [doi]
- Safety Assessment - The Critical System Suppliers ViewC. J. Goring. 91-98 [doi]
- Hazard Analysis Using HAZOP: A Case StudyMorris Chudleigh. 99-108 [doi]
- Safety Analysis of Clinical Laboratory SystemsS. S. Dhanjal, R. Fink. 111-122 [doi]
- The Benefits of SUSI: Safety Analysis of User System InteractionM. F. Chudleigh, J. N. Clare. 123-132 [doi]
- Issues Affecting Technology Transfer and Experience with a Community ClubFelix Redmill. 135-141 [doi]
- Subsidiaries and start-up Spin-off companies of InriaJean-Pierre Banâtre. 142-144 [doi]
- Human Medium in Technology TransferWojciech Cellary. 145-146 [doi]
- Technology Transfer - from Purpose to PracticeBob Malcolm. 147-153 [doi]
- Dependability: from Concepts to LimitsJean-Claude Laprie. 157-168 [doi]
- The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System SoftwareN. J. Ward. 171-181 [doi]
- A Safety Critical Computer System in a Railway ApplicationBernhard Stamm, René Baumann, Martin Kündig-Herzog. 182-193 [doi]
- Confidently Assessing a Zero Probability of Software FailureJeffrey M. Voas, Christoph C. Michael, Keith W. Miller. 197-206 [doi]
- A Knowledge-Based Approach to Program Testing and AnalysisIgor M. Galkin. 207-216 [doi]
- Robust Requirements Specifications for Safety - Critical SystemsAmer Saeed, Rogério de Lemos, Tom Anderson. 219-229 [doi]
- Software Failure Data Analysis of two Successive Generations of a Switching SystemMohamed Kaâniche, Karama Kanoun. 230-239 [doi]
- Software validation with CASE-TOOLSJohannes Rainer. 240-249 [doi]
- Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant ProcessesWalter Kuhn, Erwin Schoitsch. 253-264 [doi]
- Real-Time Detection of Failures of Reactive SystemsRudolph E. Seviora. 265-275 [doi]
- Reliability and Safety Analysis of Hierarchical Voting SchemesHenryk Krawczyk, Saleh Al-Karaawy. 276-285 [doi]
- Designing a High-level Language for Safety SystemsG. Sen, J. Brummer. 289-301 [doi]
- Oreste : a Reliable Reactive Real-Time LanguagePierre Molinaro, Olivier H. Roux. 302-310 [doi]
- How Far Can You Trust A Computer?Carl E. Landwehr. 313-325 [doi]
- Security Audit Trail Analysis Using Genetic AlgorithmsLudovic Mé. 329-340 [doi]
- MRSA - a new public key encryption methodReinhard Posch. 341-348 [doi]
- A Virus-Resistant Network InterfaceMartin Witte, Wolfgang A. Halang. 349-357 [doi]
- CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive SystemsHugo Fierz, Hansruedi Müller, Spiros Netos. 361-370 [doi]
- Exception Handling and Predictability in Hard Real-Time SystemsMatjaz Colnaric, Wolfgang A. Halang. 371-378 [doi]
- Development of a Fail-Safe Data Transmission System for use in Life-Critical ApplicationsM. B. Schrönen, Michael R. Inggs. 379-388 [doi]