1) Event-B
Event-B
1.
A Study of Software Formal Requirements Based on Event-B;
基于Event-B的软件形式化需求获取方法研究
2) event B
事件B
1.
With the abstract system of event B, the sub-models of resource, instruction and control of EBPM model the structure, behavior and timing of processor.
针对当前可重定向的模拟器生成平台的需求和现有的处理器模型的缺陷,提出了一种基于事件B的处理器模型EBPM(EventBbasedProcessorModel)。
补充资料：catastrophic event
分子式：
CAS号：
性质：巨大撞击事件中被气化的撞击体、靶物质和尘埃，由于湍流扰动上升可达平流层滞留而屏蔽阳光使地面变冷，阻止或降低植物的光合作用，破坏了动物的食物链。另外，空气中产生大量NO2而使动物群窒息死亡。这种撞击事件引起某些动植物群灭绝是突发性的。
CAS号：
性质：巨大撞击事件中被气化的撞击体、靶物质和尘埃，由于湍流扰动上升可达平流层滞留而屏蔽阳光使地面变冷，阻止或降低植物的光合作用，破坏了动物的食物链。另外，空气中产生大量NO2而使动物群窒息死亡。这种撞击事件引起某些动植物群灭绝是突发性的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。