• Produktbild: Architecting Dependable Systems V
  • Produktbild: Architecting Dependable Systems V

Architecting Dependable Systems V

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2008

Herausgeber

Rogério de Lemos + weitere

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

548 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-85570-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

548 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-85570-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: Architecting Dependable Systems V
  • Produktbild: Architecting Dependable Systems V
  • 1. Critical Infrastructures.- The CRUTIAL Architecture for Critical Information Infrastructures.- A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures.- Evaluation of Critical Infrastructures: Challenges and Viable Approaches.- Analysis of a Redundant Architecture for Critical Infrastructure Protection.- A Robust Semantic Overlay Network for Microgrid Control Applications.- Architecting Dependable and Secure Systems Using Virtualization.- 2. Rigorous Design/Fault Tolerance.- Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.- Design, Implementation and Deployment of State Machines Using a Generative Approach.- Handling Emergent Nondeterminism in Replicated Services.- 3. Verification and Validation.- Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios.- Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.- Plug-and-Play Architectural Design and Verification.- Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples.- Using Architecture Analysis to Evolve Complex Industrial Systems.