1) Validation organization
验证组织
2) Item Validationn Organization
项目验证组织
4) securities portfolio
证券组织
5) Compositional verification
组合验证
1.
Based on expressing UML Statecharts with hierarchical automata structurally,the paper introduces hierarchy into compositional verification,which makes it possible that some refined components can be replaced by more abstract specifications in model checking,and state explosion problem will be reduced.
该文在用层次自动机结构化表示UMLStatecharts的基础上,把Statecharts的层次结构特点纳入到组合验证中,使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行,以缓解模型检验中的状态爆炸问题。
2.
A key problem of compositional verification lies in the difficulties of task division, which are brought by the dependence relationship.
因为传统的模型不能在构件的行为描述中显式地表达构件对环境的假设,因此在组合验证时往往需要单独构造环境模块,这较大程度地增加了组合验证的复杂性。
6) "organizational" evidence
"组织性"证据
补充资料：《国际民用航空组织和世界旅游组织工作协议》
《国际民用航空组织和世界旅游组织工作协议》
《国际民用航空组织和世界旅游组织工作协议》有关旅游的国际协议之一。由国际民用航空组织秘书长和世界旅游组织秘书长经协商制定。此协议一共7条。根据此协议，双方秘书处本着互利的原则交流民用航空和旅游方面的信息和资料;双方可以派代表以观察员的身分参加对方的会议;在公开会议上，观察员有权获得会议文件和发言;双方可以在人才、资料、设备等方面互相支持。世界旅游组织秘书长和国际民用航空组织理事会主席可以通过协商修改协议的条款。此协议自1978年9月1日起生效。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条