LEADER 02842oam 2200613I 450 001 9910459459803321 005 20200520144314.0 010 $a0-429-07004-7 010 $a1-4398-0332-3 024 7 $a10.1201/b10094 035 $a(CKB)2670000000060526 035 $a(EBL)624966 035 $a(OCoLC)692197097 035 $a(SSID)ssj0000415711 035 $a(PQKBManifestationID)11296690 035 $a(PQKBTitleCode)TC0000415711 035 $a(PQKBWorkID)10411997 035 $a(PQKB)10964462 035 $a(MiAaPQ)EBC624966 035 $a(Au-PeEL)EBL624966 035 $a(CaPaEBR)ebr10433621 035 $a(CaONFJC)MIL693194 035 $a(EXLCZ)992670000000060526 100 $a20180331d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDesign and safety assessment of critical systems /$fMarco Bozzano, Adolfo Villafiorita 210 1$aBoca Raton :$cAuerbach Publications,$d2011. 215 $a1 online resource (288 p.) 300 $aDescription based upon print version of record. 311 $a1-4665-3235-1 311 $a1-322-61912-3 311 $a1-4398-0331-5 320 $aIncludes bibliographical references and index. 327 $aFront cover; Contents; Preface; Acknowledgments; About the Authors; Chapter 1: Introduction; Chapter 2: Dependability, Reliability,and Safety Assessment; Chapter 3: Techniques for Safety Assessment; Chapter 4: Development ofSafety-Critical Applications; Chapter 5: Formal Methods for Safety Assessment; Chapter 6: Formal Methods for Certification; Appendix A: The NuSMV Model Checker; Appendix B: The FSAP Safety Analysis Platform; Appendix C: Some Regulatory Bodies and Regulations; Back cover 330 $aSafety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone process. The growing complexity of these systems requires an increase in the skill and efficacy of safety engineers and encourages the adoption of formal and standardized techniques.An introduction to the area of design and verifica 606 $aIndustrial safety 606 $aSystem safety 608 $aElectronic books. 615 0$aIndustrial safety. 615 0$aSystem safety. 676 $a620.8/6 700 $aBozzano$b Marco.$0979809 701 $aVillafiorita$b Adolfo$0979810 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459459803321 996 $aDesign and safety assessment of critical systems$92234592 997 $aUNINA LEADER 01091nam0 22002891i 450 001 UON00097427 005 20231205102539.126 010 $a09-07-60582-6 100 $a20020107d1997 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 200 1 $aˆThe ‰Greek coinages of the Southern Italy and Sicily$fKeith N. Rutter 210 $aLondon$cSpink$d1997 215 $a191 p. $d24 cm 606 $aMONETE GRECHE$xItalia Meridionale$3UONC033345$2FI 606 $aMONETE GRECHE$xSicilia$3UONC033346$2FI 620 $aGB$dLondon$3UONL003044 676 $a737.4937$cMONETE - Italia antica$v21 700 1$aRUTTER$bKeith N.$3UONV059370$0663412 712 $aSpink$3UONV249143$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00097427 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI J 240 $eSI MC 25827 5 996 $aGreek coinages of the Southern Italy and Sicily$91303428 997 $aUNIOR