登录
首页 » C++ Builder » uppaal-4.0.13-aca

uppaal-4.0.13-aca

于 2013-11-18 发布 文件大小:5532KB
0 123
下载积分: 1 下载次数: 6

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论


0 个回复

  • ruili
    通信实验中信号在随机信道中传输,其接收信号的瑞利分布,(A communication channel in a random test signal transmission, the received signal Rayleigh distribution,)
    2014-09-22 09:16:09下载
    积分:1
  • polyphase
    这个是多相滤波的MATLAB程序,做接收机的同学可以参考的(this is a polyphase programme)
    2013-11-06 20:01:53下载
    积分:1
  • Floyd
    Floyd最短路算法的MATLAB程序 (Floyd shortest path algorithm of MATLAB program)
    2011-05-13 16:30:46下载
    积分:1
  • gauss-jordan-MPI
    gauss jordan multiplication with MPI
    2015-03-06 17:06:48下载
    积分:1
  • c_matlab
    关于c语言与matlab编程接口的一本电子书 对嵌入式仿真有一定帮助(On the c programming language and matlab interfaces to the embedded simulation of an e-book will definitely help)
    2009-11-06 19:40:52下载
    积分:1
  • GPU_FDTDfdtd
    一个GPU的FDTD程序,可以参考一下。(A GPU FDTD procedures, you can refer to.)
    2014-01-09 17:11:48下载
    积分:1
  • wavelet
    matlab中的小波算法用c语言实现,包括一维和二维。(matlab wavelet algorithm in c language, including the one-dimensional and two-dimensional.)
    2007-11-23 13:47:31下载
    积分:1
  • de-boor--turbo-C2.0
    de boor 算法在turbo C2.0开发环境下的程序代码(de boor algorithm development environment in the turbo C2.0 program code)
    2014-09-23 20:24:17下载
    积分:1
  • metalog-0.6.tar
    Metalog is a modern replacement for syslogd and klogd. The logged messages can be dispatched according to their facility, urgency, program name and/or Perl-compatible regular expressions. Log files can be automatically rotated when they exceed a certain size or age. External shell scripts (e.g., mail) can be launched when specific patterns are found. Metalog is easier to configure than syslogd and syslog-ng, accepts unlimited number of rules and has (switchable) memory bufferization for maximal performance.(Metalog is a modern replacement for syslog d and klogd. The messages can be logged dispatch ed according to their facility, urgency, program name and/or Perl-compatible regular e xpressions. Log files can be automatically rot ated when they exceed a certain size or age. Exte rnal shell scripts (e.g., mail) can be launched when specific patterns ar e found. Metalog is easier to configure than sys logd and syslog-ng. accepts unlimited number of rules and has (swit chable) memory bufferization for maximal perf ormance.)
    2006-12-11 23:40:58下载
    积分:1
  • cplex
    cplex中文教学ppt ,cplex是商用混合整数规划软件,编制的程序对模型进行全局优化。(The cplex Chinese teaching ppt, cplex commercial mixed integer programming software, the program prepared by the global optimization model.)
    2020-12-18 08:19:11下载
    积分:1
  • 696518资源总数
  • 104932会员总数
  • 9今日下载