• 乌帕阿尔

  • 引用634篇文章[sw04702]
  • 建模、仿真和验证真实的-时间由计算机基础研究共同开发的系统。。。具有有限控制结构和真实的-有价值的时钟,通过信道通信或共享。。。WPD94,LPW97b]。典型应用领域包括真实的-时间控制器和通信协议,尤其是那些。。。
  • 在606篇文章中引用[sw16554]
  • 在接近目标时出现杂波和遮挡真实的-时间性能。。。
  • 克洛诺斯

  • 引用263篇文章[sw01270]
  • 目的是验证真实的-时间系统。真实的-时间系统是指。。。失败可能会带来严重后果。因此,真实的-时间系统需要严格建模。。。期望的要求。在克洛诺斯语中真实的-时间系统由定时自动机。。。正确性要求在真实的-时间时态逻辑TCTL。。。
  • 埃斯特雷尔

  • 在163篇文章中引用[sw20012]
  • 适用于编程反应式系统,包括真实的-时间系统和控制自动机。埃斯特雷尔。。。
  • 阿斯特里

  • 引用113篇文章[sw13704]
  • 自动证明没有运行时间用C语言编写的程序中的错误。。。大型嵌入式控制命令安全关键真实的-时间软件自动生成同步规格,生产。。。
  • Pfinder公司

  • 引用80篇文章[sw36676]
  • 提示:真实的-时间跟踪人体。Pfinder是一个真实的-时间系统。。。
  • 二郎

  • 参考109篇文章[sw07202]
  • 用于构建可大规模扩展的软件真实的-时间具有高可用性要求的系统。一些。。。
  • PPL公司

  • 引用96篇文章[sw05357]
  • 语言,同步语言和同步协议,真实的-时间以及混合动力系统。自从开创性的工作。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 建模与验证真实的-时间由计算机基础研究共同开发的系统。。。具有有限控制结构和真实的-有价值的时钟,通过信道通信或共享。。。WPD94,LPW97b]。典型应用领域包括真实的-时间控制器和通信协议,尤其是那些。。。特定的案例验证真实的-时间系统故障。诊断痕迹可能会自动。。。
  • 单满贯

  • 引用41篇文章[sw18884]
  • 单满贯:真实的-时间单镜头拍摄。我们提出一个真实的-时间可以恢复的算法。。。单个非受控摄像机,实现真实的 时间但无漂移性能是结构无法从运动中获得的。。。单斯拉姆的应用现状真实的-时间高性能的三维定位和映射。。。
  • OMNet公司++

  • 引用了65篇文章[sw04170]
  • 其他工具。有扩展真实的-时间模拟,网络仿真,替代编程语言(Java。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 基于组件的验证环境真实的-时间人们普遍认为自动化。。。定时异步系统(如远程通信协议或分布式。。。研究真实的-时间异步系统的原语。目前,工具箱包含专用的。。。
  • 真实时间

  • 引用41篇文章[sw13636号]
  • TrueTime是一个基于Matlab/Simulink的模拟器真实的-时间控制系统。TrueTime有助于协同仿真。。。控制器任务执行真实的-时间内核、网络传输和连续植物动态。。。
  • 王子

  • 参考58篇文章[sw13240]
  • 许多未来普及的应用程序真实的-时间安全需求。我们的密码名为PRINCE,允许加密。。。
  • 中央军委

  • 在34篇文章中引用[sw12422]
  • 组件模型检查工具真实的-时间系统。在本文中,我们提出。。。组合模型检查真实的-时间系统。CMC是基于完全不同的方法。。。与现有相比真实的-时间验证工具(HYTECH、KRONOS、UPPAAL)。在描述之后。。。
  • 光泽

  • 在38篇文章中引用[sw08938]
  • LUSTRE:一种用于真实的-时间编程。LUSTRE是一种同步数据流语言。。。与环境相互作用真实的-时间. 在非正式的语言介绍之后。。。
  • 信号

  • 引用51篇文章[sw02915]
  • 适用于可靠性设计真实的-时间系统。同步语言可以实现非常高的。。。
  • 谦虚

  • 引用32篇文章[sw01544]
  • 随机建模与描述语言定时系统。本文介绍了一种建模语言,称为。。。决定论,概率分支,和硬真实的-时间以及柔软真实的-时间(即随机性。。。
  • 税收

  • 引用21篇文章[sw01389]
  • 开发和验证真实的-时间嵌入式系统的正确行为真实的-时间应用。。。事实上,违反真实的-时间嵌入式系统中的约束是最困难的。。。系统本身。显然真实的-时间系统需要严格的方法和工具。。。设计和验证真实的-时间电信软件。主要目标之一。。。