EFSM definition

EFSM means the European Financial Stabilisation Mechanism.
View Source

Examples of EFSM in a sentence

  • This European Stability Mechanism ("ESM") will assume the tasks currently fulfilled by the European Financial Stability Facility ("EFSF") and the European Financial Stabilisation Mechanism ("EFSM") in providing, where needed, financial assistance to euro area Member States.

  • This European Stability Mechanism will assume the tasks currently fulfilled by the European Financial Stability Facility ("EFSF") and the European Financial Stabilisation Mechanism ("EFSM") in providing, where needed, financial assistance to euro area Member States after June 2013.

  • On 9 May 2010 a comprehensive package of measures has been decided including (a) a Council Regulation establishing the European Financial Stabilisation Mechanism ("EFSM") based on Article 122(2) of the Treaty on the functioning of the European Union and (b) the EFSF in order to financially support euro-area Member States in difficulties caused by exceptional circumstances beyond such Member States' control.

  • CORFU'98-GREECE,AUG.25- 29:4th EFSM CONGRESS AND 14th IMS CONGRESS:ABSTRACT BOOK.- P.90.

  • This algorithm tests a system by making greedy walks through an EFSM model of the system.

  • This European Stability Mechanism will assume the tasks currently fulfilled by the European Financial Stability Facility ("EFSF") and the European Financial Stabilisation Mechanism ("EFSM") in providing where needed financial assistance to euro area Member States after June 2013.

  • For further information on the ESM and EFSF, see the following Standard Notes: 5812, Amending the EU Treaty: the European Stability Mechanism, 23 December 2010 5973, The European Financial Stabilisation Mechanism (EFSM), 20 May 2011 5800, Article 122(2) TFEU as Treaty Base for Financial Stability Mechanism, 14 December 2010 This information is provided to Members of Parliament in support of their parliamentary duties and is not intended to address the specific circumstances of any particular individual.

  • For obtaining the behaviour model (EFSM) at high abstraction level, the specification models of the software (state machine models) can be the basis and starting from them, the models are abstracted and simplified in order to represent the behaviour of the systems (including transitions triggered by signals).

  • ModelJUnit allows writing simple finite state machine (FSM) models or extended finite state machine (EFSM) that can take into account time aspects (TimedFsmModel).

  • Define EFSM model of the behaviour of the SUT starting from the system specification.