Delivering safety excellence : engagement culture at every level / / Michael M. Williamsen |
Autore | Williamsen Michael M. |
Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , [2021] |
Descrizione fisica | 1 online resource (271 pages) |
Disciplina | 363.11 |
Soggetto topico |
Industrial safety
System safety |
Soggetto genere / forma | Electronic books. |
ISBN |
1-5231-4331-2
1-119-77225-7 1-119-77227-3 1-119-77226-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The funeral -- No support for safety -- The tyranny of the urgent -- No pay for safety -- Weak culture miseries -- Injury plateau -- A brief safety history --Beyond accident reaction -- Safety culture beginnings -- More safety culture -- Active resistance -- Zero injuries -- How long? -- World-class safety -- Watch out -- Moving forward to safety culture excellence -- The critical safety steering team -- The RIW process -- Fundamentals that are a result of developing a culture of safety excellence -- Communication and recognition -- Hazard recognition is different than hazard controls -- The trap of complacency. |
Record Nr. | UNINA-9910555057503321 |
Williamsen Michael M. | ||
Hoboken, New Jersey : , : Wiley, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Delivering safety excellence : engagement culture at every level / / Michael M. Williamsen |
Autore | Williamsen Michael M. |
Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , [2021] |
Descrizione fisica | 1 online resource (271 pages) |
Disciplina | 363.11 |
Soggetto topico |
Industrial safety
System safety |
ISBN |
1-5231-4331-2
1-119-77225-7 1-119-77227-3 1-119-77226-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The funeral -- No support for safety -- The tyranny of the urgent -- No pay for safety -- Weak culture miseries -- Injury plateau -- A brief safety history --Beyond accident reaction -- Safety culture beginnings -- More safety culture -- Active resistance -- Zero injuries -- How long? -- World-class safety -- Watch out -- Moving forward to safety culture excellence -- The critical safety steering team -- The RIW process -- Fundamentals that are a result of developing a culture of safety excellence -- Communication and recognition -- Hazard recognition is different than hazard controls -- The trap of complacency. |
Record Nr. | UNINA-9910830865603321 |
Williamsen Michael M. | ||
Hoboken, New Jersey : , : Wiley, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Design and safety assessment of critical systems / / Marco Bozzano, Adolfo Villafiorita |
Autore | Bozzano Marco |
Pubbl/distr/stampa | Boca Raton : , : Auerbach Publications, , 2011 |
Descrizione fisica | 1 online resource (288 p.) |
Disciplina | 620.8/6 |
Altri autori (Persone) | VillafioritaAdolfo |
Soggetto topico |
Industrial safety
System safety |
Soggetto genere / forma | Electronic books. |
ISBN |
0-429-07004-7
1-4398-0332-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front 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 |
Record Nr. | UNINA-9910459459803321 |
Bozzano Marco | ||
Boca Raton : , : Auerbach Publications, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Design and safety assessment of critical systems / / Marco Bozzano, Adolfo Villafiorita |
Autore | Bozzano Marco |
Pubbl/distr/stampa | Boca Raton : , : Auerbach Publications, , 2011 |
Descrizione fisica | 1 online resource (288 p.) |
Disciplina | 620.8/6 |
Altri autori (Persone) | VillafioritaAdolfo |
Soggetto topico |
Industrial safety
System safety |
ISBN |
0-429-07004-7
1-4398-0332-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front 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 |
Record Nr. | UNINA-9910785448003321 |
Bozzano Marco | ||
Boca Raton : , : Auerbach Publications, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Design and safety assessment of critical systems / / Marco Bozzano, Adolfo Villafiorita |
Autore | Bozzano Marco |
Pubbl/distr/stampa | Boca Raton : , : Auerbach Publications, , 2011 |
Descrizione fisica | 1 online resource (288 p.) |
Disciplina | 620.8/6 |
Altri autori (Persone) | VillafioritaAdolfo |
Soggetto topico |
Industrial safety
System safety |
ISBN |
0-429-07004-7
1-4398-0332-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front 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 |
Record Nr. | UNINA-9910819781503321 |
Bozzano Marco | ||
Boca Raton : , : Auerbach Publications, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Design for safety / / edited by Louis J. Gullo, Jack Dixon |
Pubbl/distr/stampa | Chichester, West Sussex : , : Wiley, , 2018 |
Descrizione fisica | 1 online resource (90 pages) : illustrations, tables |
Disciplina | 620.8/6 |
Collana | Wiley Series in Quality & Reliability Engineering |
Soggetto topico | System safety |
ISBN |
1-118-97430-1
1-118-97431-X 1-118-97433-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910271047303321 |
Chichester, West Sussex : , : Wiley, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Design for safety / / edited by Louis J. Gullo, Jack Dixon |
Pubbl/distr/stampa | Chichester, West Sussex : , : Wiley, , 2018 |
Descrizione fisica | 1 online resource (90 pages) : illustrations, tables |
Disciplina | 620.8/6 |
Collana | Wiley Series in Quality & Reliability Engineering |
Soggetto topico | System safety |
ISBN |
1-118-97430-1
1-118-97431-X 1-118-97433-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910815877103321 |
Chichester, West Sussex : , : Wiley, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Design of Demining Machines [[electronic resource] /] / by Dinko Mikulic |
Autore | Mikulic Dinko |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (221 p.) |
Disciplina | 623.26 |
Soggetto topico |
Machinery
Control engineering Robotics Mechatronics System safety Machinery and Machine Elements Control, Robotics, Mechatronics Security Science and Technology |
ISBN |
1-283-69700-9
1-4471-4504-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Humanitarian Demining Techniques -- Mechanics of Machine Demining -- Design of Demining Machines -- Design of Mine Protected Vehicles -- Personal Protective Equipment -- Test and Evaluation of Demining Machines. |
Record Nr. | UNINA-9910437915503321 |
Mikulic Dinko | ||
London : , : Springer London : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Design of Rijndael [[electronic resource] ] : The Advanced Encryption Standard (AES) / / by Joan Daemen, Vincent Rijmen |
Autore | Daemen Joan |
Edizione | [2nd ed. 2020.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xviii, 282 pages) : illustrations |
Disciplina | 005.82 |
Collana | Information Security and Cryptography |
Soggetto topico |
Data encryption (Computer science)
Computer security System safety Cryptology Principles and Models of Security Systems and Data Security Security Science and Technology |
ISBN | 3-662-60769-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Advanced Encryption Standard Process -- Preliminaries -- Specification of Rijndael -- Implementation Aspects -- Design Philosophy -- The Data Encryption Standard -- Correlation Matrices -- Difference Propagation -- The Wide Trail Strategy -- Cryptanalysis -- The Road to Rijndael -- Correlation Analysis in GF(2n) -- On the EDP of Two- and Four-Round Differentials and the ELP of Two- and Four-Round Hulls -- Two-Round Differential Trail Clustering -- Plateau Trails -- App. A, Substitution Tables -- App. B, Test Vectors -- App. C, Reference Code -- Bibliography -- Index. |
Record Nr. | UNINA-9910409667503321 |
Daemen Joan | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Design of Rijndael [[electronic resource] ] : The Advanced Encryption Standard (AES) / / by Joan Daemen, Vincent Rijmen |
Autore | Daemen Joan |
Edizione | [2nd ed. 2020.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xviii, 282 pages) : illustrations |
Disciplina | 005.82 |
Collana | Information Security and Cryptography |
Soggetto topico |
Data encryption (Computer science)
Computer security System safety Cryptology Principles and Models of Security Systems and Data Security Security Science and Technology |
ISBN | 3-662-60769-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Advanced Encryption Standard Process -- Preliminaries -- Specification of Rijndael -- Implementation Aspects -- Design Philosophy -- The Data Encryption Standard -- Correlation Matrices -- Difference Propagation -- The Wide Trail Strategy -- Cryptanalysis -- The Road to Rijndael -- Correlation Analysis in GF(2n) -- On the EDP of Two- and Four-Round Differentials and the ELP of Two- and Four-Round Hulls -- Two-Round Differential Trail Clustering -- Plateau Trails -- App. A, Substitution Tables -- App. B, Test Vectors -- App. C, Reference Code -- Bibliography -- Index. |
Record Nr. | UNISA-996465342203316 |
Daemen Joan | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|