formal top-level specification
... 形式化证明 formal proof 形式化顶层规范 formal top-level specification 形式化验证 formal verification ...
基于15个网页-相关网页
•系统规范主要指安全操作系统的描述性顶层规范 （DTLS）和形式化顶层规范（FTLS）。大多数隐 蔽通道分析方法都把注意力集中在对系统规范层 （特别是描述性顶层规范）的分析。
基于8个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress