Geschäftskunden Kundenprogramme

KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Directions in Safety-Critical Systems
  • Produktbild: Directions in Safety-Critical Systems

Directions in Safety-Critical Systems Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.02.1993

Abbildungen

IX, 286 p. 1 illus.

Herausgeber

Felix Redmill + weitere

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

458 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-3-540-19817-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.02.1993

Abbildungen

IX, 286 p. 1 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

458 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-3-540-19817-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Directions in Safety-Critical Systems
  • Produktbild: Directions in Safety-Critical Systems
  • I: Experience from Around Europe.- Certification of Safety Critical Systems in Germany.- Safety for European Space Agency Space Programmes.- The Swedish State Railways’ Experience with n-Version Programmed Systems.- Potential Difficulties in Managing Safety-critical Computing Projects: a Sociological View.- II: Current Research.- Classification of Programmable Electronic Systems Operation for Testability.- Data Management in Clinical Laboratory Information Systems.- Software Engineering Methods for Industrial Safety Related Applications.- Finite Element Safety Critical Software.- Using the Functional Programming Language Haskell to Specify Image Analysis Systems.- Developing an Environment for Computer-based Automotive Suspension and Steering Systems.- The Practical Application of Formal Methods to High Integrity Systems — The SafeFM Project.- Tool Support for an Application-specific Language.- III: Achieving and Evaluating Safety.- SAM — A Tool to Support the Construction, Review and Evolution of Safety Arguments.- The Need for Evidence from Disparate Sources to Evaluate Software Safety.- A Modified Hazop Methodology for Safety Critical System Assessment.- Applying Security Techniques to Achieving Safety.- New Developments in Quality Management as a Pre-requisite to Safety.- An Industrial Approach to Integrity Level Determination and Safety Interlock System Implementation.- Unification in Uncertainty?.- Author Index.