EFSM
- 网络欧洲金融稳定机制(European Financial Stabilisation Mechanism)；有限状态机；扩展的有限状态机
EFSMEFSM
欧洲金融稳定机制(European Financial Stabilisation Mechanism)
欧盟是通过欧洲金融稳定机制（EFSM）发债筹集救助资金的，发债由六个AAA级欧盟国家担保，市场利率是3%多，所以援助 …
有限状态机
动态行为(dynamic behavior): SDL 以扩充有限状态机(EFSM)描述系统动态行为。在每 个程序中可以使用变数、计时器(timer) …
扩展的有限状态机
2．4 扩展的有限状态机（EFSM）17-21 第3章 构造与源程序等价的EFSM21-31 3．1 输入和输出21-22 3．2 基本结构语句的 …
有限状态机模型
增强有限状态机模型(EFSM)是基于传统有限状态机(FSM)的一个增强模型，其是由 状态、转换和动作组成的行为模型。在一个 …
扩展有限状态机(Extended Finite State Machine)
被动测试在BGP/OSPF协议上的实现 ... 2.1.2. 非确定有限状态机 NFSM 2.1.3. 扩展有限状态机 EFSM 2.1.4. 通信有限状态自动 …
欧盟金融稳定机制(European Financial Stability Mechanism)
而欧盟金融稳定机制（EFSM）也发行了50亿欧元债券，作为救助爱尔兰的首批款项。总体而言，7500亿欧元的救助机制已经 …
1