Safecomp '96 : The 15th International Conference on Computer Safety, Reliability, and Security, Vienna, Austria, October 23-25, 1996

By: Austrian Research Centre Seibersdorf, Erwin Schoitsch (Editor)

Write A Review

Paperback

At a Glance

Paperback
446 Pages

Dimensions(cm)
23.39 x 15.6 x 2.29

Paperback

$95.46

or 4 interest-free payments of $23.86 with

or

Aims to ship in 7 to 10 business days

SAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP '96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP '96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$58.95

34%
OFF

Modern PHP

New Features and Good Practices

Paperback

RRP $57.00

$28.25

50%
OFF

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$43.25

54%
OFF

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Paperback

RRP $106.50

$47.75

55%
OFF

C++ How to Program, Global Edition

11th Edition

Paperback

RRP $161.17

$129.75

19%
OFF

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Paperback

RRP $125.50

$55.25

56%
OFF

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $152.00

$66.25

56%
OFF

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Paperback

RRP $112.00

$99.25

11%
OFF

Head First C#

4th Edition

Paperback

RRP $133.00

$50.25

62%
OFF

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Paperback

RRP $106.50

$47.75

55%
OFF

Definitive ANTLR 4 Reference

2nd Edition

Paperback

RRP $70.35

$33.25

53%
OFF

Scaling Python with Dask

From Data Science to Machine Learning

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Paperback

RRP $152.00

$66.25

56%
OFF

Hands-on Rust

Effective Learning through 2D Game Development and Play

Paperback

RRP $91.25

$41.75

54%
OFF

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Paperback

RRP $152.00

$66.25

56%
OFF

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.50

$55.25

56%
OFF

Learning Modern C++ for Finance : Foundations for Quantitative Programming - Daniel Hanson

$55.25

56%
OFF

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Paperback

RRP $152.00

$66.25

56%
OFF

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$66.25

56%
OFF

JavaScript Cookbook

Programming the Web 3rd Edition

Paperback

RRP $152.00

$66.25

56%
OFF

Effective Haskell

Solving Real-World Problems with Strongly Typed Functional Programming

Paperback

RRP $110.25

$48.95

56%
OFF

Intermediate Perl 2e

OREILLY

Paperback

RRP $85.50

$39.75

54%
OFF

The Passionate Programmer

Pragmatic Life

Paperback

RRP $45.50

$26.25

42%
OFF

List of Contributors
Systematic Design of Fault-Tolerant Computers	p. 3
Formal Verification of Safety Requirements on Complex Systems	p. 21
Formal Specification of Safety-Critical Software with Z and Real-Time CSP	p. 31
Safety Analysis Based on Object-oriented Modelling of Critical Systems	p. 46
A Processor Architecture Designed to Facilitate the Safety Certification of Hard Real Time Systems	p. 61
Formal Verification as a Design Tool - The Transponder Lock Example	p. 73
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results	p. 83
Developing Dependable Software Using Prototyping and Test-Diversity	p. 95
Software Reliability Models and Test Coverage	p. 105
Defining the Unit Testing Level of Synchronous Data Flow Programs	p. 115
Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?	p. 126
Modeling Software Dependability Growth under Input Partition Testing	p. 136
An Holistic Approach to Dependability?	p. 149
Software-Based Critical Systems	p. 157
Systematic Development of Markov Models for the 1002D Programmable Electronic System Architecture - Analysis of Safety and Availability	p. 173
Failure Risk Estimation via Markov Software Usage Models	p. 183
Design Methodologies and Systems Safety	p. 193
Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems	p. 205
Safety Analysis and Evaluation of an Air Traffic Control Computing System	p. 219
Creating Markov Models for Applications in the Process Industry	p. 230
Specifying Railway Interlocking Requirements for Practical Use	p. 243
SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview	p. 250
A Safe, Reliable Control and Supervisory System for Railway Networks	p. 266
Assessment and Certification Requirements in the European Railway Industry	p. 276
Failure Classification Schemes for Analysing System Dependability	p. 289
Human Factors in High Integrity Software Development: A Field Study	p. 301
Human Factors in Safety-Critical Systems: An Underestimated Contribution?	p. 311
PERE: Evaluation and Improvement of Dependable Processes	p. 322
Safety and Technology Transfer	p. 332
Safety Case for the NERC Air Traffic Control System	p. 345
Integrity Levels and their Application to Road Transport Systems	p. 365
Legal Sufficiency of Testing Processes	p. 375
Application of Formal Methods in the Scope of IT-Security	p. 389
Reliability and Security in Communication Software: PBX Systems and CSTA Applications	p. 395
Byzantine Agreement with Limited Authentication	p. 404
Implementation of a Security Policy in Distributed Safety Related IandC Systems - A Case Study	p. 414
Author Index	p. 425
Table of Contents provided by Blackwell. All Rights Reserved.

Safecomp '96 : The 15th International Conference on Computer Safety, Reliability, and Security, Vienna, Austria, October 23-25, 1996

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Modern PHP

New Features and Good Practices

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

C++ How to Program, Global Edition

11th Edition

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Head First C#

4th Edition

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Definitive ANTLR 4 Reference

2nd Edition

Scaling Python with Dask

From Data Science to Machine Learning

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Hands-on Rust

Effective Learning through 2D Game Development and Play

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Typescript Cookbook

Real World Type-Level Programming

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Fluent C

Principles, Practices, and Patterns

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Python for Algorithmic Trading

From Idea to Cloud Deployment

JavaScript Cookbook

Programming the Web 3rd Edition

Effective Haskell

Solving Real-World Problems with Strongly Typed Functional Programming

Intermediate Perl 2e

OREILLY

The Passionate Programmer

Pragmatic Life

This product is categorised by

Popular Searches