Merkzettel Warenkorb
  • Produktbild: Computer Safety, Reliability and Security
  • Produktbild: Computer Safety, Reliability and Security
Band 2434

Computer Safety, Reliability and Security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2002

Herausgeber

Stuart Anderson + weitere

Verlag

Springer Berlin

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

522 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44157-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2002

Herausgeber

Verlag

Springer Berlin

Seitenzahl

352

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

522 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44157-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computer Safety, Reliability and Security
  • Produktbild: Computer Safety, Reliability and Security
  • Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002).- Human-Computer System Dependability.- Dependability of Joint Human-Computer Systems.- Keynote Talk.- Dependability in the Information Society: Getting Ready for the FP6.- Human Factors.- A Rigorous View of Mode Confusion.- Dependability as Ordinary Action.- Security.- Practical Solutions to Key Recovery Based on PKI in IP Security.- Redundant Data Acquisition in a Distributed Security Compound.- Survivability Strategy for a Security Critical Process.- Dependability Assessment (Poster Session).- Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation.- Safety and Security Analysis of Object-Oriented Models.- The CORAS Framework for a Model-Based Risk Management Process.- Keynote Talk.- Software Challenges in Aviation Systems.- Application of Formal Methods (Poster Session).- A Strategy for Improving the Efficiency of Procedure Verification.- Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.- Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.- Reliability Assessment.- Assessment of the Benefit of Redundant Systems.- Estimating Residual Faults from Code Coverage.- Design for Dependability.- Towards a Metrics Based Verification and Validation Maturity Model.- Analysing the Safety of a Software Development Process.- Software Criticality Analysis of COTS/SOUP.- Safety Assessment.- Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.- Checking Safe Trajectories of Aircraft Using Hybrid Automata.- Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model.- Keynote Talk.- On Diversity, and the Elusiveness of Independence.- Design for Dependability (Poster Session).- An Approach to a New Network Security Architecture for Academic Environments.- A Watchdog Processor Architecture with Minimal Performance Overhead.- Application of Formal Methods.- Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.- Assertion Checking Environment (ACE) for Formal Verification of C Programs.- Safety Analysis of the Height Control System for the Elbtunnel.- Design for Dependability.- Dependability and Configurability: Partners or Competitors in Pervasive Computing?.- Architectural Considerations in the Certification of Modular Systems.- A Problem-Oriented Approach to Common Criteria Certification.