GB20438.7 技术和措施概述 检查(复审和分析 描述:借助一个软件行为模型,在一台计算机上仿真安全相关系统电路的功能。电路的各个元件每个都有它们自己的模拟行为,并且通过观察每个元件的边缘数据来检验这些元件连成的电路的响应。 ian software amsterdam 2024-12-09 11:45 3