Dipartimento di Elettronica e Informazione, Politecnico di Milano, P.zza L. Da Vinci, 32 - 20133 Milano, Italy;
机译:VHDL代码分析中的软件方法
机译:VHDL代码静态分析的框架
机译:优化基于非二进制图的代码的组合方法:理论分析和数据存储中的应用
机译:基于流程图的VHDL代码静态分析的软件方法
机译:从不确定性到错误:使用静态分析,统计方法和概率图形模型推断软件系统中的缺陷。
机译:基于静态分析指标和重用率信息的软件可重用性数据集
机译:基于流程图的VHDL代码静态分析的软件方法