Safe Comp 97

The 16th International Conference on Computer Safety, Reliability and Security

Häftad, Engelska, 1997

1 459 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This volume contains the proceedings of SAFECOMP '97, the 16th International Conference on Computer Safety, Reliability and Security. The papers presented here form a platform for technology transfer between academia, industry and research institutions. Topics included are: safe software; safety cases, management and development; security; human factors; guidelines, standards and certification; formal methods and models; applications and industrial experience; testing, validation and verification.

Produktinformation

Utgivningsdatum1997-09-11
Mått155 x 235 x 22 mm
Vikt604 g
FormatHäftad
SpråkEngelska
Antal sidor381
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540761914

Du kanske också är intresserad av

Computer Safety, Reliability, and Security

Nyhet

Del 6

Den yttersta hemligheten

Dan Brown

329 kr

Rawlicious Superfoods: With 100+ Recipes for a Healthy Lifestyle

Peter Daniel, Beryn Daniel

599 kr

Nyhet

Vitön. : Den fristående fortsättningen på Expeditionen

Bea Uusma

399 kr

Nyhet

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

4 pocket för 3

Hon som blev kvar

Riley Sager

125 kr

Nyhet

Alchemised

SenLinYu

349 kr

Nyhet

Del 2

Vargars lek

Niklas Natt och Dag

289 kr329 kr

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och it
Programmeringsböcker inom Data och it
Programvaruutveckling inom Data och it
Systemvetenskap och AI inom Data och it
IT-säkerhet inom Data och it

Safe Software.- Software-based Safety-critical Systems: a Taxonomy.- Safety Assessment of Software Based Systems.- Safe and Reliable Computer Control Systems: an Overview.- Towards Dependable Software Requirement Specifications.- Safety Cases, Management and Development.- Safety Case Construction and Reuse Using Patterns.- A Systematic Approach to Software Safety Integrity Levels.- Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems.- Managing the Safety Argument using a Memory Prosthesis.- Security and Human Factors.- Safety and Security Requirements for an Advanced Train Control System.- Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools.- Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors.- Design, Analysis and Implementation of a New Hash Function Based on Block Cipher.- Biometric Techniques Applied in Security Technology.- Guidelines, Standards and Certification.- High Integrity Ada.- Towards an Automotive ‘Safer Subset’ of C.- Computer Based Support for Standards and Processes in Safety Critical Systems.- An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers.- Formal Methods and Models.- Refinement and Safety Analysis.- Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams.- Consistency Checking by Type Inference and Constraint Satisfaction.- Safe Combinations of Services using B.- An Object-Based Approach to Modelling and Analysis of Failure Properties.- Methodological Support for Formally Specifying Safety-Critical Software.- Applications and Industrial Experience.- Embedded Systems in Avionics and the SACRES Approach.- Towards SaferIndustrial Computer Controlled Systems.- Safety Cases for Software-intensive Systems: an Industrial Experience Report.- Testing, Validation and Verification.- Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams.- Practical Assessment of Neural Network Applications.- Software Test Techniques for System Fault-Tree Analysis.- Author Index.

Safe Comp 97

The 16th International Conference on Computer Safety, Reliability and Security

Produktinformation

Du kanske också är intresserad av

Computer Safety, Reliability, and Security

Rawlicious