Produktbild: Architecting Critical Systems
Band 6150

Architecting Critical Systems First International Symposium, Prague, Czech Republic, June 23-25, 2010

Aus der Reihe Security and Cryptology

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2010

Abbildungen

205 p. 82 illus.

Herausgeber

Holger Giese

Verlag

Springer Berlin

Seitenzahl

205

Sprache

Englisch

ISBN

978-3-642-13555-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2010

Abbildungen

205 p. 82 illus.

Herausgeber

Holger Giese

Verlag

Springer Berlin

Seitenzahl

205

Sprache

Englisch

ISBN

978-3-642-13555-2

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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 Critical Systems
  • Design.- An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance.- Architectural Design Decisions for Achieving Reliable Software Systems.- Integrating Fault-Tolerant Techniques into the Design of Critical Systems.- Component Behavior Synthesis for Critical Systems,.- Verification and Validation.- A Road to a Formally Verified General-Purpose Operating System.- Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements.- Testing Fault Robustness of Model Predictive Control Algorithms.- Domain-Specific Results.- Towards Net-Centric Cyber Survivability for Ballistic Missile Defense.- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays.- Standards.- ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling.