• 波丝

  • 引用2篇文章[sw02933]
  • 硬件/软件系统强制时间行业考虑系统级设计方法. 在实际实施之前。。。硬件和软件组件,系统级设计方法能够分析不同设计的性能。。。用一个正式的语义方面,POOSL确保模型的明确执行和适当的应用表现。。。
  • UMLsec公司

  • 引用3篇文章[sw12754]
  • 系统开发在工业的上下文。安全的UML扩展UMLsec。。。使用正式的UML简化片段的语义。建立。。。正式的 方法以及安全性,以及为高级专业人士写评论应用. UMLsec工具:这个工具。。。
  • 可视化工具

  • 1条引用[sw00016]
  • 提出微积分。虽然是无价之宝正式的 方法对于移动代理系统,APi微积分。。。非常适合实际工作应用它本身。由于它的动态特性。。。对移动代理的吸引力行业. 提供即时演示设计的。。。
  • SL2SX公司

  • 1条引用[sw20160]
  • 仿真环境被广泛应用于行业用于基于模型的设计。数值模拟比例尺。。。行为可能会被忽视。这个应用属于正式的Simulink模型的验证技术可以帮助。。。SpaceEx等工具用作底层形式主义混合自动机,在语义和结构上。。。语言转换成相应的SpaceEx模型。我们的方法是为了保留句法方面的。。。
  • 数学软件

  • 引用5766篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 引用7813篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 棱镜

  • 引用398篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。