Programming languages; Symposia; Computer architecture; Computer logic; Computer hardware description language; Nondeterminism; Event driven simulation language; Vhdl(Programming language);
机译:走向基本经济学理论框架的形式模型
机译:用于VHDL设计的正式验证工具的设计与应用
机译:VHDL RTL综合的形式语义分析
机译:几个基本VHDL概念的正式模型
机译:VHDL中电路设计的形式验证。
机译:代理作为量子力学中的基本原理:客观的不可预测性和正式的无巨大性
机译:几种基本VHDL概念的形式化模型
机译:VHDL子集的形式语义及其在FTpp分析中的应用