登录
首页 » MultiPlatform » Static-Analysis-of-Software

Static-Analysis-of-Software

于 2015-03-24 发布 文件大小:11632KB
0 186
下载积分: 1 下载次数: 2

代码说明:

  Static Analysis of Software The Abstract Interpretation Edited by Jean-Louis Boulanger 1. Computer software Testing. 2. Debugging in computer science. 3. Computer software Quality control.

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • VideoDemosA
    实现对视频的三维重建和simulink仿真,对子系统进行封装(To achieve the three-dimensional reconstruction and simulink video simulation package on the subsystem)
    2011-05-12 20:50:29下载
    积分:1
  • LMS_MATLAB
    实现LMS算法功能,画出其中二维曲线和误差曲线(LMS algorithm to achieve the function, which draw two-dimensional curves and error curve)
    2014-11-11 20:01:43下载
    积分:1
  • MN_Logic
    说明:  用修正的逻辑法来做航迹起始,比传统的逻辑法更加精确(Track initiation using modified logic method is more accurate than traditional logic method.)
    2021-04-15 21:48:54下载
    积分:1
  • PRAC3
    eco and reverberation matlab codes
    2009-04-01 06:57:44下载
    积分:1
  • DuoXiangShi
    自己编写的多项式拟合的例子程序,matlab多项式,。(I have written an example of polynomial fitting procedure, matlab polynomial.)
    2010-11-05 08:57:23下载
    积分:1
  • air-to-ground-missile-model
    air-to-ground missile model
    2013-11-16 18:12:33下载
    积分:1
  • KAPPA-1D
    MATLAB 计算kappa分布,不仅有一维情况而且有三维情况下的算法(MATLAB computing kappa distribution, not only one-dimensional and three-dimensional case the algorithm)
    2013-11-17 22:23:26下载
    积分:1
  • gld_gjjd
    一种改进后的绝对关联度模型,属于灰色关联度的一种。(Absolute correlation degree model is a kind of improved absolute correlation degree model, is a kind of grey correlation degree.)
    2015-04-08 21:21:11下载
    积分:1
  • 异步电机电机最小二乘法参数辨识
    以定子电压和电流为输入,用最小二乘法对异步电机进行参数辨识,包括定子电阻,转子电阻,定子电感,定转子互感。(With the stator voltage and current as the input, the parameters of the induction motor are identified by the least square method, including stator resistance, rotor resistance, stator inductance, stator and rotor mutual inductance.)
    2017-07-28 11:32:21下载
    积分:1
  • matlab-SLM.m
    说明:  在OFDM系统中,为了降低峰均功率比,采用SLM算法,该程序就是相应的Matlab源码(In OFDM system, in order to reduce the PAPR, SLM algorithm used, the program is the appropriate Matlab source)
    2010-04-11 14:57:11下载
    积分:1
  • 696518资源总数
  • 106155会员总数
  • 8今日下载