Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings: Lecture Notes in Computer Science, cartea 4680
Editat de Francesca Saglietti, Norbert Osteren Limba Engleză Paperback – 12 sep 2007
Din seria Lecture Notes in Computer Science
- 20% Preț: 1040.03 lei
- 20% Preț: 333.46 lei
- 20% Preț: 335.08 lei
- 20% Preț: 444.17 lei
- 20% Preț: 238.01 lei
- 20% Preț: 333.46 lei
- 20% Preț: 438.69 lei
- Preț: 440.52 lei
- 20% Preț: 336.71 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 567.60 lei
- 20% Preț: 571.63 lei
- 15% Preț: 568.74 lei
- 17% Preț: 427.22 lei
- 20% Preț: 641.78 lei
- 20% Preț: 307.71 lei
- 20% Preț: 574.05 lei
- 20% Preț: 579.56 lei
- Preț: 373.56 lei
- 20% Preț: 330.23 lei
- 20% Preț: 649.49 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- 20% Preț: 1386.07 lei
- 20% Preț: 326.98 lei
- 20% Preț: 1003.66 lei
- 20% Preț: 256.27 lei
- 20% Preț: 632.22 lei
- 20% Preț: 575.48 lei
- 20% Preț: 747.79 lei
- 20% Preț: 1053.45 lei
- 17% Preț: 360.19 lei
- 20% Preț: 504.57 lei
- 20% Preț: 172.69 lei
- 20% Preț: 369.12 lei
- 20% Preț: 346.40 lei
- 20% Preț: 809.19 lei
- Preț: 402.62 lei
- 20% Preț: 584.40 lei
- 20% Preț: 1159.14 lei
- 20% Preț: 747.79 lei
- Preț: 389.48 lei
- 20% Preț: 343.16 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 341.55 lei
Preț vechi: 426.94 lei
-20% Nou
Puncte Express: 512
Preț estimativ în valută:
65.37€ • 67.90$ • 54.30£
65.37€ • 67.90$ • 54.30£
Carte tipărită la comandă
Livrare economică 01-15 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540751007
ISBN-10: 3540751009
Pagini: 570
Ilustrații: XV, 548 p.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.86 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540751009
Pagini: 570
Ilustrații: XV, 548 p.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.86 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Safety Cases.- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study.- Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges.- Impact of Security on Safety.- Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.- Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment.- Modelling Interdependencies Between the Electricity and Information Infrastructures.- Poster Session 1.- Handling Malicious Code on Control Systems.- Management of Groups and Group Keys in Multi-level Security Environments.- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems.- RAMSS Analysis for a Co-operative Integrated Traffic Management System.- Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks.- Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System.- Compositional Temporal Fault Tree Analysis.- Representing Parameterised Fault Trees Using Bayesian Networks.- Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model.- Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.- Specification of a Software Common Cause Analysis Method.- Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.- Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation.- Survival by Deception.- How to Secure Bluetooth-Based Pico Networks.- Learning from Your Elders: A Shortcut to Information Security Management Success.- Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.- PosterSession 2.- Safety Process Improvement with POSE and Alloy.- Defense-in-Depth and Diverse Qualification of Safety-Critical Software.- Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer.- Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches.- Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.- A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications.- Safety Demonstration and Software Development.- Improving Test Coverage for UML State Machines Using Transition Instrumentation.- Verification of Distributed Applications.- Analysis of Combinations of CRC in Industrial Communication.- A Comparison of Partitioning Operating Systems for Integrated Systems.- Software Encoded Processing: Building Dependable Systems with Commodity Hardware.- Reliability Modeling for the Advanced Electric Power Grid.- Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay.- A Reliability Evaluation of a Group Membership Protocol.- Poster Session 3.- Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.- A Tool for Network Reliability Analysis.- DFT and DRBD in Computing Systems Dependability Analysis.- Development of Model Based Tools to Support the Design of Railway Control Applications.- Formal Specification and Analysis of AFDX Redundancy Management Algorithms.- Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.- Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.- Experimental Assessment of Astrée on Safety-Critical Avionics Software.- Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.- A Taxonomy for Modelling Safety RelatedArchitectures in Compliance with Functional Safety Requirements.- Controller Architecture for Safe Cognitive Technical Systems.- Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software.