Vor Ort
Merkzettel Warenkorb
  • Produktbild: Assurances for Self-Adaptive Systems
  • Produktbild: Assurances for Self-Adaptive Systems

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.01.2013

Abbildungen

X, 94 illus., schwarz-weiss Illustrationen

Herausgeber

Javier Cámara + weitere

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

539 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36248-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.01.2013

Abbildungen

X, 94 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

539 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36248-4

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: Assurances for Self-Adaptive Systems
  • Produktbild: Assurances for Self-Adaptive Systems
  • Model Checking Adaptive Software with Featured Transition Systems.- Probabilistic Verification at Runtime for Self-Adaptive Systems.- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud.- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.- Timed Hazard Analysis of Self-healing Systems.- Model-Driven Development of Safe Self-optimizing Mechatronic
    Systems with MechatronicUML.- Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice.- Achieving Self-adaptation through Dynamic Group Management.- Accurate Proactive Adaptation of Service-Oriented Systems.- Failure Avoidance in Configurable Systems through Feature Locality.- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software.- Assurance of Self-adaptive Controllers for the Cloud.