Practical Elements of Safety

von

Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004

Preis unbekannt

Buch in deiner Nähe kaufen

oder

Beschreibung

Current Issues in Safety-Critical Systems contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held in February 2004.

Autor*in

Felix Redmill

Themen in »Practical Elements of Safety«

Safety-critical systems design development formal method formal methods operating system reliability safety engineering safety-critical system software software engineering

Stimmen zu »Practical Elements of Safety«

Details

ISBN: 9781852338008

Verlag: Springer London

Erscheinung: 20.02.2004