Vor Ort
Merkzettel Warenkorb
  • Produktbild: Technology and Assessment of Safety-Critical Systems
  • Produktbild: Technology and Assessment of Safety-Critical Systems

Technology and Assessment of Safety-Critical Systems Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.02.1994

Herausgeber

Felix Redmill + weitere

Verlag

Springer Berlin

Seitenzahl

258

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

453 g

Auflage

Softcover reprint of the original 1st ed. 1994

Sprache

Englisch

ISBN

978-3-540-19859-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.02.1994

Herausgeber

Verlag

Springer Berlin

Seitenzahl

258

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

453 g

Auflage

Softcover reprint of the original 1st ed. 1994

Sprache

Englisch

ISBN

978-3-540-19859-8

Herstelleradresse

Springer Heidelberg
Tiergartenstr. 17
69121 Heidelberg
DE
buchhandel-buch@springer.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: Technology and Assessment of Safety-Critical Systems
  • Produktbild: Technology and Assessment of Safety-Critical Systems
  • A User’s Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications.- Methods and Techniques of Improving the Safety Classification of Programmable Logic Controller Safety Systems.- Maintainability and its Influence on System Safety.- Safety Critical Problems in Medical Systems.- Developing Safety Cases for Command and Control Systems.- Lifetrack: Organisational Modelling for Safety-Critical Decision Support.- The True Cost of Risk and its Impact on Safety.- Risk and Safety Reviews.- Extending Safety Analysis Techniques with Formal Semantics.- Social Issues in High-Tech Safety.- Human Error in the Software Generation Process.- Cognitive and Organisational Aspects of Design.- Producing Critical Systems - The Ada 9X Solution.- Using Formal Transformations for the Reverse Engineering of Real-time Safety Critical Systems.- Use of Neural Computing in Multiversion Software Reliability.- Knowledge Based Systems in Safety Critical Applications.- The Rôle of Formal Methods in the Engineering of Safety Critical Systems.- Author Index.