1) Partial Model Checking
部分模型检查
2) model checking
模型检查
1.
Modeling from VHDL design to FSM based on model checking;
基于模型检查的VHDL到FSM的转换
2.
Study of Scenario Graph and Attack Graph Based on Model Checking;
基于模型检查的场景图和攻击图研究
4) partially self-checking circuit
部分自检查电路
6) section pattern
分部模型
补充资料：监事会检查后及时作出检查报告的职权
监事会检查后及时作出检查报告的职权：监事会每次对企业进行检查结束后，应当及时作出检查报告。 检查报告的内容包括：企业财务以及经营管理情况评价；企业负责人的经营管理业绩评价以及奖惩、任免建议；企业存在问题的处理建议；国务院要求报告或者监事会认为需要报告的其他事项。 监事会不得向企业透露前款所列检查报告内容。――――――《国有企业监事会暂行条例》第9条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条