{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":49,"n_cols":5,"rows_kept":49,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[18,2,18,3],[19,2,19,3],[22,2,22,3],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910459690703321"]
[null,null,"Autore",null,"Frieden Jeffry A"]
[null,null,"Titolo",null,"Forging an Integrated Europe [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Ann Arbor, : University of Michigan Press, 2010"]
[null,null,"ISBN",null,"1-282-60465-1"]
[{"$nulls":4},"9786612604652"]
[{"$nulls":4},"0-472-02329-2"]
[null,null,"Descrizione fisica",null,"1 online resource (347 p.)"]
[null,null,"Collana",null,"Michigan Studies in International Political Economy"]
[null,null,"Disciplina",null,"337.1/42"]
[null,null,"Soggetti",null,"Electronic books. -- local"]
[{"$nulls":4},"Europe -- Economic integration"]
[{"$nulls":4},"European Union countries -- Politics and government"]
[{"$nulls":4},"Monetary unions -- European Union countries"]
[{"$nulls":4},"Monetary unions - European Union countries"]
[{"$nulls":4},"Economic History"]
[{"$nulls":4},"Business & Economics"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,"Nota di contenuto",null,"Contents; 1. Introduction / Barry Eichengreen and Jeffry Frieden; Part 1: Economic and Monetary Union; 2. The Transition to Economic and Monetary Union / Geoffrey Garrett; 3. The Political Economy of French Economic Policy in the Perspective of EMU / Christian de Boissieu and Jean Pisani-Ferry; 4. Macroeconomic Stabilization with a Common Currency: Does European Monetary Unification Create a Need for Fiscal Insurance or Federalism? / Kenneth M. Kletzer; Part 2: Political Institutions; 5. Economic and Political Integration: Institutional Challenge and Response / Lisa L. Martin"]
[{"$nulls":4},"6. Banking Regulation with Variable Geometry / Jürgen von Hagen and Michele Fratianni7. The Impact of Economic Integration on European Wage-Setting Institutions / Michael Wallerstein; Part 3: Enlargement; 8. Nordic Accession: An Analysis of the EU Referendums / Jonathan W. Moses and Anders Todal Jenssen; 9. Alpine Contrasts: Swiss and Austrian Responses to the EU / Sven W. Arndt; 10. The Political Economy of Eastern Enlargement / Peter Bofinger; Contributors; Index"]
[null,"2.","Record Nr.",null,"UNINA9910825784103321"]
[null,null,"Autore",null,"Boulanger Jean-Louis"]
[null,null,"Titolo",null,"Safety management for software-based equipment / / Jean-Louis Boulanger"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, N.J., : ISTE Ltd./John Wiley and Sons Inc., 2013"]
[null,null,"ISBN",null,"9781118578612"]
[{"$nulls":4},"1118578619"]
[{"$nulls":4},"9781118579916"]
[{"$nulls":4},"1118579917"]
[{"$nulls":4},"9781118578650"]
[{"$nulls":4},"1118578651"]
[null,null,"Edizione",null,"[1st ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (193 p.)"]
[null,null,"Collana",null,"Focus series in computer engineering and IT, , 2051-2481"]
[null,null,"Disciplina",null,"621.392"]
[null,null,"Soggetti",null,"Computer security"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"CONTENTS; INTRODUCTION; CHAPTER 1. SAFETY MANAGEMENT; 1.1.Introduction; 1.2.Dependability; 1.3.Conclusion; 1.4.Bibliography; CHAPTER 2. FROM SYSTEM TO SOFTWARE; 2.1.Introduction; 2.2 Systems of command and control; 2.3 System; 2.4 Software implementation; 2.5.Conclusion; 2.6.Bibliography; 2.7.Glossary; CHAPTER 3. CERTIFIABLE SYSTEMS; 3.1. Introduction; 3.2. Normative context; 3.3.Conclusion; 3.4.Bibliography; 3.5.Glossary; CHAPTER 4. RISK AND SAFETY LEVELS; 4.1. Introduction; 4.2. Basic definitions; 4.3.Safety implementation; 4.4. In standards IEC 61508 and IEC 61511; 4.5.Conclusions"]
[{"$nulls":4},"4.6.Bibliography4.7.Acronyms; CHAPTER 5. PRINCIPLES OF HARDWARE SAFETY; 5.1. Introduction; 5.2 Safe and/or available hardware; 5.3.Reset of a processing unit; 5.4. Presentation of safety control techniques; 5.5. Conclusion; 5.6.Bibliography; 5.7.Glossary; CHAPTER 6. PRINCIPLES OF SOFTWARE SAFETY; 6.1. Introduction; 6.2. Techniques to make software application safe; 6.3.Other forms of diversification; 6.4.Overall summary; 6.5.Quality management; 6.6.Conclusion; 6.7.Bibliography; 6.8.Glossary; CHAPTER 7. CERTIFICATION; 7.1. Introduction; 7.2. Independent assessment; 7.3. Certification"]
[{"$nulls":4},"7.4. Certification in the rail sector7.5.Automatic systems; 7.6.Aircraft; 7.7. Nuclear; 7.8. Automotive; 7.9. Spacecraft; 7.10.Safety case; 7.11. "]
[{"$nulls":4},"Conclusion; 7.12. Bibliography; 7.13. Glossary; CONCLUSION; INDEX"]
[null,null,null,"Sommario/riassunto","A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). \"Certifiable system\" aspects are taken into account throughout the book.  C"]