Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings: Lecture Notes in Computer Science, cartea 1698
Editat de Massimo Felici, Karama Kanoun, Alberto Pasquinien Limba Engleză Paperback – 15 sep 1999
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 307.71 lei
- 20% Preț: 438.69 lei
- 20% Preț: 645.28 lei
- Preț: 410.88 lei
- 15% Preț: 580.46 lei
- 17% Preț: 427.22 lei
- 20% Preț: 596.46 lei
- Preț: 381.21 lei
- 20% Preț: 353.50 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 309.90 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 310.26 lei
- 20% Preț: 655.02 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 15% Preț: 438.59 lei
- 20% Preț: 591.51 lei
- 20% Preț: 649.49 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 607.39 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 825.93 lei
- 20% Preț: 763.23 lei
- 17% Preț: 360.19 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 340.32 lei
- 20% Preț: 504.57 lei
- 20% Preț: 369.12 lei
- 20% Preț: 583.40 lei
- 20% Preț: 343.62 lei
- 20% Preț: 350.21 lei
- 20% Preț: 764.89 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 341.95 lei
- 20% Preț: 238.01 lei
- 20% Preț: 538.29 lei
Preț: 342.78 lei
Preț vechi: 428.48 lei
-20% Nou
Puncte Express: 514
Preț estimativ în valută:
65.60€ • 68.40$ • 54.52£
65.60€ • 68.40$ • 54.52£
Carte tipărită la comandă
Livrare economică 21 martie-04 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540664888
ISBN-10: 3540664882
Pagini: 508
Ilustrații: XVIII, 490 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.7 kg
Ediția:1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540664882
Pagini: 508
Ilustrații: XVIII, 490 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.7 kg
Ediția:1999
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Professional/practitionerCuprins
Invited Talk.- Software Reliability Engineering in Industry.- Assessment and Certification.- A Systematic Approach to Safety Case Maintenance.- SQUALE Dependability Assessment Criteria.- Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Project.- Safety Assessment and Human Factors (Poster Session).- Safety Evaluation of a Train Leader Telephone System.- Safety Analysis Techniques for Validating Formal Models during Verification.- Evaluating the Contribution of DesktopVR for Safety—Critical Applications.- Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces.- The Impact of Different Media on Safety and Usability of Interactive ATC Applications.- Human Factors.- Patterns for Safer Human-Computer Interfaces.- Impact of Communication on Systems Dependability: Human Factors Perspectives.- A Method for Operator Error Detection Based on Plan Recognition.- Safety Assessment.- Hierarchically Performed Hazard Origin and Propagation Studies.- Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standards.- Design for Safety (Poster Session).- System and Software Safety Analysis for the ERA Control Computer.- Safety Markup Language: Concept and Application.- Extendable Ground-to-Air Communication Architecture for CoDySa.- Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems.- The Development of a Commercial “Shrink-Wrapped Application” to Safety Integrity Level 2: the DUST-EXPERT™ Story.- Verification and Testing.- Safety Verification of ADA95 Programs Using Software Fault Trees.- Programming Rule Static Verification for Reliable Software.- Automated Black-Box Testing with Abstract VDM Oracle.- TowardsStatistical Control of an Industrial Test Process.- Design for Safety.- Choosing Effective Methods for Diversity — How to Progress from Intuition to Science.- A First Step Towards the Integration of Accident Reports and Constructive Design Documents.- A Holistic Design Concept to Improve Safety Related Control Systems.- Dependability Analysis and Evaluation.- Comparing Fault Trees and Bayesian Networks for Dependability Analysis.- FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems.- Structural Software Reliability Estimation.- Formal Methods and Security (Poster Session).- Hazard Analysis in Formal Specification.- Modeling Safety-Critical Systems with Z and Petri Nets.- On Formal Languages for Sequences of Authorization Transformations.- Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability.- Formal Methods.- Forma Design of Distributed Control Systems with Lustre.- Formal Specification and Development of a Safety-Critical Train Management System.- Formal Validation of the GUARDS Inter-consistency Mechanism.- A Graphical Environment for the Specification and Verification of Reactive Systems.- Security.- Dependability Requirements and Security Architectures for the Healthcare/Medical Sector.- Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature.- The Integration of Safety and Security Requirements.
Caracteristici
Includes supplementary material: sn.pub/extras