Abstract is missing.
- Software-based Safety-critical Systems: a TaxonomyHélène Papini, Frangois Simon. 3-13 [doi]
- Safety Assessment of Software Based SystemsGustav Dahll. 14-24 [doi]
- Safe and Reliable Computer Control Systems an OverviewHenrik Thane. 25-36 [doi]
- Towards Dependable Software Requirement SpecificationsStefan Scheer, Thomas Maier. 37-51 [doi]
- Safety Case Construction and Reuse Using PatternsTim P. Kelly, John A. McDermid. 55-69 [doi]
- A systematic approach to software safety integrity levelsPeter A. Lindsay, John A. McDermid. 70-82 [doi]
- Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software SystemsMarc Wilikens, Marcelo Masera, Davide Vallero. 83-97 [doi]
- Managing the Safety Argument using a Memory ProsthesisDavid Jenkins, Brian Lees, Daniel Livingstone, Andrew Reglinski. 98-108 [doi]
- Safety and Security Requirements for an Advanced Train Control SystemJens Braband. 111-122 [doi]
- Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis ToolsStefanos Gritzalis, Diomidis Spinellis. 123-137 [doi]
- Using Executable Interactor Specifications to Explore the Impact of Operator Interaction ErrorsAndrew M. Dearden, Michael D. Harrison. 138-147 [doi]
- Design, Analysis and Implementation of a New Hash Function Based on Block CipherXun Yi, Kwork-Yan Lam, Yongfei Han. 148-157 [doi]
- Biometric Techniques Applied In Security TechnologyDespina Polemi. 158-170 [doi]
- High Integrity AdaB. A. Wichmann. 173-184 [doi]
- Towards an Automotive 'Safer Subset' of CP. D. Edwards, R. S. Rivett, G. F. McCall. 185-196 [doi]
- Computer Based Support for Standards and Processes in Safety Critical SystemsStephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs. 197-209 [doi]
- An Assessment of the IEC 1131-3 Standard on Languages for Programmable ControllersKonstantinos Tourlas. 210-219 [doi]
- Refinement and Safety AnalysisKevin Lano. 223-240 [doi]
- Automated Verification of Safety Requirements using CCS and Binary Decision DiagramsReiner Lichtenecker, Klaus Gotthardt. 241-252 [doi]
- Consistency Checking by Type Inference and Constraint SatisfactionYahia Lebbah. 253-264 [doi]
- Safe combinations of services using BBruno Mermet, Dominique Méry. 265-280 [doi]
- An Object-Based Approach to Modelling and Analysis of Failure PropertiesMarko Cepin, Rogério de Lemos, Borut Mavko, Steve Riddle, Amer Saeed. 281-294 [doi]
- Methodological Support for Formally Specifying Safety-Critical SoftwareMaritta Heisel, Carsten Siihl. 295-308 [doi]
- Embedded Systems in Avionics and the SACRES ApproachPhilippe Baufreton, Xavier Méhaut, Éric Rutten. 311-320 [doi]
- Towards Safer Industrial Computer Controlled SystemsPeter R. Croll, Colin Chambers, M. Bowell, Paul W. H. Chung. 321-331 [doi]
- Safety Cases for Software-intensive Systems: an Industrial Experience ReportStephen Barker, Ian Kendall, Anthony Darlison. 332-342 [doi]
- Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision DiagramsFrancesca Saglietti. 345-356 [doi]
- Practical Assessment of Neural Network ApplicationsIan T. Nabney, Mickael J. S. Paven, Richard C. Eldridge, Clive Lee. 357-368 [doi]
- Software Test Techniques for System Fault-Tree AnalysisJohn C. Knight, Luís G. Nakano. 369-380 [doi]