Vor Ort
Merkzettel Warenkorb
  • Produktbild: Methods, Models and Tools for Fault Tolerance
  • Produktbild: Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.03.2009

Herausgeber

Michael Butler + weitere

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00866-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.03.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-00866-5

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: Methods, Models and Tools for Fault Tolerance
  • Produktbild: Methods, Models and Tools for Fault Tolerance
  • Formal Reasoning about Fault Tolerant Systems and Protocols.- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.- Temporal Verification of Fault-Tolerant Protocols.- Design and Verification of Fault-Tolerant Components.- Dynamically Detecting Faults via Integrity Constraints.- Fault Tolerance: Modelling in B.- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction.- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.- Model-Based Testing Using Scenarios and Event-B Refinements.- Fault Tolerance in System Development Process.- Recording Process Documentation in the Presence of Failures.- DREP: A Requirements Engineering Process for Dependable Reactive Systems.- Documenting the Progress of the System Development.- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.- Fault Tolerant Applications.- Step-Wise Development of Resilient Ambient Campus Scenarios.- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.