1.

Record Nr.

UNINA9910459459803321

Autore

Bozzano Marco

Titolo

Design and safety assessment of critical systems / / Marco Bozzano, Adolfo Villafiorita

Pubbl/distr/stampa

Boca Raton : , : Auerbach Publications, , 2011

ISBN

0-429-07004-7

1-4398-0332-3

Descrizione fisica

1 online resource (288 p.)

Altri autori (Persone)

VillafioritaAdolfo

Disciplina

620.8/6

Soggetti

Industrial safety

System safety

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

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

Sommario/riassunto

Safety-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



2.

Record Nr.

UNINA9910967322803321

Autore

Pramor Marcus

Titolo

Common Volatility Trends in the Central and Eastern European Currencies and the Euro / / Marcus Pramor, Natalia Tamirisa

Pubbl/distr/stampa

Washington, D.C. : , : International Monetary Fund, , 2006

ISBN

9786613829900

9781462339709

1462339700

9781451984309

1451984308

9781283517454

1283517450

9781451994018

145199401X

Edizione

[1st ed.]

Descrizione fisica

1 online resource (31 p.)

Collana

IMF Working Papers

Altri autori (Persone)

TamirisaNatalia

Soggetti

Foreign exchange rates - Econometric models - Europe

Monetary policy - Europe

Currencies

Currency markets

Currency

Economic integration

Exchange rates

Exports and Imports

Externalities

Finance

Finance: General

Financial Aspects of Economic Integration

Financial markets

Financial sector policy and analysis

Foreign exchange market

Foreign Exchange

Foreign exchange

Government and the Monetary System

International economics

International finance

International Financial Markets

Macroeconomics



Monetary economics

Monetary Systems

Monetary unions

Money and Monetary Policy

Money

Payment Systems

Regimes

Spillovers

Standards

Czech Republic

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"September 2006."

Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

""Contents""; ""I. INTRODUCTION""; ""II. METHODOLOGY AND DATA""; ""III. VOLATILITY DYNAMICS IN CENTRAL AND EASTERN EUROPEAN CURRENCY MARKETS""; ""IV. CONCLUSIONS""; ""References""

Sommario/riassunto

How much convergence has been achieved between Central and Eastern European (CEE) economies and the eurozone? We explore this question by comparing long-run volatility trends in CEE currencies and the euro. We find that these trends are closely correlated, pointing to convergence in the economic and financial structures of these economies. Nonetheless, the degree of commonality remains weaker than what had been found for major European currencies before the introduction of the euro. Spillovers of volatility across regional markets appear to have diminished over time, with the exception of the Hungarian forint, which remains a source of volatility shocks to regional currencies.