00503nam a2200121Ia 4500008004100000020002200041041001200063100002800075245005900103260003600162440004700198650013600245231221s9999    xx            000 0 und d  a978-1-84800-372-9  aEnglish  aPierre-Jacques Courtois 0aJustifying the Dependability of Computer-based Systems  c2008bSpringer LondonaNew York  aSpringer Series in Reliability Engineering  aQuality Control, Reliability, Safety and Risk; Computational Intelligence; Computer Systems Organization and Communication Networks