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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • EnterprisePersonnelManagementSystem
    (1)员工各种信息的输入,包括员工的基本信息、学历信息、婚姻状况信息和职称等; (2)员工各种信息的修改; (3)对于转出、辞职、辞退、退休员工信息的删除; (4)按照一定的条件,查询,统计符合条件的员工信息; (5)至少应该包括每个员工详细信息的查询,按婚姻状况查询、学历查询、工作岗位查询等; (6)至少应该包括按学历、婚姻状况、岗位、参加工作时间等统计各自的员工信息; (7)对查询,统计的结果打印输出。 ((1) the importation of all kinds of information employees, including employees of the basic information, education information, marital status and title information, etc. (2) the staff changes all kinds of information (3) for the transfer, resignation, dismissal, retirement of employee information deleted (4) in accordance with certain conditions, query, statistics eligible employees (5) at least every employee should include details of inquiries, according to marital status inquiries, academic information, job inquiries, etc. (6) should include at least according to their academic qualifications, marital status, status, statistics, etc. to participate in the working hours of their employees (7) of the query, the results of statistical printout.)
    2009-06-10 09:29:15下载
    积分:1
  • cepstrum-analysis
    matlab 的关于到谱分析算法的程序,对于初学者有一定的帮助,易于学习到谱分析算法。(Matlab about spectrum analysis algorithm procedures for beginners have certain help, easy to learn spectrum analysis algorithm. )
    2011-05-22 16:13:20下载
    积分:1
  • dasss
    这个是一种采用CA-CFAR算法的自适应双重驻留捕获系统已经提出来了,这种系统的门限值可以根据输入信号的大小来增加和减小。()
    2013-03-21 12:20:38下载
    积分:1
  • emd_blx
    这是一种包络线的实例特殊情况emd_blX(This is an example of envelope special circumstances emd_blx)
    2009-09-21 10:37:39下载
    积分:1
  • dem-basic
    dem差值计算,给定基础网格高程对相应空间迭代差值获得网格高程(dem difference calculation, given the appropriate space on the basis of the grid elevation difference of iterations to get the grid elevation)
    2015-03-19 15:52:42下载
    积分:1
  • monodevelopment_src
    Building applications with Mono
    2007-09-30 09:02:21下载
    积分:1
  • C
    说明:  C+陷阱与缺陷,适合于各个阶段的学习者学习!(C+ traps and defects, suitable for all phases of learners!)
    2010-04-01 15:05:17下载
    积分:1
  • fuhaoyunsuan
    说明:  MATLAB数学实验之符号运算,其中包含课件以及习题和答案,文档中附有源程序(MATLAB Mathematical experiments symbolic computation, which includes courseware, as well as exercises and answers documents available source)
    2006-03-08 15:26:10下载
    积分:1
  • CIC-Filter
    梳妆滤波器的毕业论文和VC实现代码,有很强的参考价值(CIC Filter thesis and VC implementation code, there is a strong reference value)
    2011-09-13 16:41:15下载
    积分:1
  • Mini-Sumo-3.2-Line-Sensor-Read
    This code for Embedded for Sumo Bot (sensor)
    2015-03-22 13:23:16下载
    积分:1
  • 696518资源总数
  • 104509会员总数
  • 10今日下载