Limitiertes Angebot: Bis zu 50% Rabatt auf Bücher und eBooks im Bereich Angewandte Wissenschaften!

Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings

Herausgeber: Ortmeier, Frank, Daniel, Peter (Eds.)

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
Weitere Vorteile

Dieses Buch kaufen

eBook 59,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-33675-1
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 74,90 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-33674-4
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).

Inhaltsverzeichnis (49 Kapitel)

  • Introduction to Sassur 2012

    Ruiz, Alejandra (et al.)

    Seiten 3-7

  • AdvoCATE: An Assurance Case Automation Toolset

    Denney, Ewen (et al.)

    Seiten 8-21

  • Towards a Case-Based Reasoning Approach for Safety Assurance Reuse

    Ruiz, Alejandra (et al.)

    Seiten 22-35

  • Modeling for Safety in a Synthesis-Centric Systems Engineering Framework

    Markovski, Jasen (et al.)

    Seiten 36-49

  • A Model Based Approach for Safety Analysis

    Belmonte, Fabien (et al.)

    Seiten 50-63

Dieses Buch kaufen

eBook 59,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-33675-1
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 74,90 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-33674-4
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Computer Safety, Reliability, and Security
Buchuntertitel
SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings
Herausgeber
  • Frank Ortmeier
  • Peter Daniel
Titel der Buchreihe
Programming and Software Engineering
Buchreihen Band
7613
Copyright
2012
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-33675-1
DOI
10.1007/978-3-642-33675-1
Softcover ISBN
978-3-642-33674-4
Auflage
1
Seitenzahl
XVI, 530
Anzahl der Bilder und Tabellen
198 schwarz-weiß Abbildungen
Themen