• 乌帕阿尔

  • 参考文献618篇[SW042号文件]
  • 真实世界的建模、仿真与验证-时间 系统,由计算机基础研究共同开发。。。瑞典大学。它适合于系统可以建模为一个集合。。。WPD94,LPW97b]。典型的应用领域包括-时间控制器和通信协议,尤其是那些。。。
  • Simulink公司

  • 引用702篇文章[sw04348]
  • 基于模型的动态嵌入式设计系统. 它提供了一个交互式的图形环境。。。实施并测试各种时间-变化的系统包括通讯,控制,信号处理,视频。。。
  • 克洛诺斯

  • 引用259篇文章[sw01270]
  • 验证复数实数-时间 系统. 真实的-时间 系统系统必须执行任务。。。通信协议就是这样的例子时间-从属系统. 这些系统通常是。。。后果严重。因此,真实的-时间 系统需要严格的建模和指定。。。要求。在克洛诺斯语中,实数的组成部分-时间 系统模型由定时自动机。。。
  • 伽马

  • 在828篇文章中引用[sw04978号]
  • 设置简单。这个系统照顾好时间-正在使用特定计算机的详细信息。。。
  • 埃斯特雷尔

  • 引用161篇[sw20012]
  • 无功编程系统,包括真实的-时间 系统控制自动机。Esterel v5编译器。。。
  • 棱镜

  • 引用397篇文章[sw01186]
  • 概率分析系统. PRISM支持三种概率模型:离散模型-时间马尔可夫链,马尔科夫决策。。。连续的-时间马尔可夫链。通过模型检验进行分析系统根据所写的规范。。。
  • 二郎

  • 引用104篇文章[sw07202]
  • 构建可大规模扩展的soft real-时间 系统具有高可用性要求。一些。。。
  • 安非斯

  • 引用260篇文章[sw08730]
  • 控件中的行系统预测一场混乱时间系列,都产生了显著的效果。。。
  • MPT公司

  • 在209篇文章中引用[sw04732]
  • 约束线性、非线性和混合控制器系统. 代码的效率是有保证的。。。目标(线性、二次、最小时间)处理系统有持久的添加剂和多面体。。。使用Real部署到目标平台时间研讨会。。。
  • MACS-VRPTW系统

  • 引用的第83条[sw06303号]
  • 多蚁群系统车辆路径问题时间窗户。MACS-VRPTW。。。解质量与计算术语时间. 此外,MACS-VRPTW改进了一些最好的。。。多蚁群系统车辆路径问题时间WINDOWS 5.1版。引言本章。。。多蚁群系统车辆路径问题时间窗户。MACS-VRPTW基于。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 基于构件的real验证环境-时间 系统人们普遍认为自动化。。。复合物验证系统没有工具集成是很难实现的。发展。。。提供一个开放的验证平台定时异步系统(例如电信协议或分布式。。。实数语义学研究-时间异步原语系统. 目前,工具箱包含专用的。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[SW015号]
  • 真实世界的建模、仿真与验证-时间 系统,由计算机基础研究共同开发。。。瑞典大学。它适合于系统可以建模为一个集合。。。WPD94,LPW97b]。典型的应用领域包括-时间控制器和通信协议,尤其是那些。。。特定实数的实例验证-时间 系统失败。诊断痕迹可能会自动。。。
  • 神经网络工具箱

  • 引用175篇文章[sw07378]
  • 复杂非线性建模的函数和应用程序系统很难用。。。拟合,模式识别,聚类,时间-序列预测和动态系统建模和控制。为了加速。。。
  • 代码23

  • 引用261篇文章[sw06600]
  • 集成系统微分方程y′=f(t,y)的时间...
  • 信号

  • 引用51篇文章[sw02915]
  • 类似模块系统同步语言信号。同步语言,如信号,是最好的。。。可靠真实感设计-时间 系统. 同步语言支持非常高级的规范。。。
  • 登菲斯

  • 在56篇文章中引用[sw24183]
  • 进化神经模糊推理系统以及它的应用时间-序列预测。本文介绍。。。系统用于在线学习和离线学习的自适应FIS时间系列。。。系统. 在每个时间最重要的时刻。。。
  • 中央军委

  • 参考33篇文章[sw12422]
  • 实数合成模型检验-时间 系统. 在本文中,我们提出了一个工具。。。实数合成模型检验-时间 系统. CMC是基于完全不同的方法。。。与现有real相比-时间验证工具(HYTECH、KRONOS、UPPAAL)。在描述之后。。。互斥协议和铁路道口系统...
  • 急流

  • 在38篇文章中引用[sw01249]
  • 基于组件的大型多语言开发系统通过使用架构定义作为开发。。。基于事件的分布式执行模型,时间-敏感的系统--“的”定时偏序集模型。“偏序集提供。。。分布式系统的正确性和性能分析时间-敏感的系统...