CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 会员管理中心 查看会员资料

查看会员资料

用 户 名:刘****

发送消息
  • Email:
    用户隐藏
  • Icq/MSN:
  • 电话号码:
  • Homepage:
  • 会员简介:

最新会员发布资源

  1. system_monitor

    0下载量:
  2. 用于系统行为验证。给出系统运行的观测数据,给定一个用MTL形式化语言描述的表达式,运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.
  3. 所属分类:Algorithm

    • 发布日期:2017-04-06
    • 文件大小:1022880
搜珍网 www.dssz.com