• mCRL公司

  • 引用31篇文章[sw29626]
  • 代数风格。它的目标是系统过程代数风格的行为。。。LPOs公司。实例化器生成贴标签于 过渡 系统(LTS)来自LPO(在。。。
  • 恰当的

  • 17条引用[sw23176]
  • Petri网分析标记 过渡 系统. 欢迎来到APT。这是为了。。。Petri网和标记 过渡 系统. 本指南解释了最重要的。。。
  • 轻率的

  • 参考22篇文章[sw08679]
  • Facile的核心子集使用标记 过渡 系统. 这样的语义是有用的。。。
  • 玛丽亚

  • 引用19篇文章[sw04127]
  • Maria:代数的模可达性分析器系统nets Maria执行模拟,详尽的可达性分析。。。层次Petri网和贴标签于 过渡 系统. 翻译程序允许Maria分析过渡 系统...
  • LTSmin公司

  • 引用18条[sw07214]
  • 用于模型检查和操作的工具集贴标签于 过渡 系统. LTSmin已经连接了一个相当大的数字。。。
  • 阿加莎

  • 在10篇文章中引用[sw02930]
  • 使用EIOLTS(扩展输入输出标记 过渡 系统)形式主义可以提取。。。
  • ACTLW公司

  • 参考7篇文章[sw21031]
  • 模型方格系统代表贴标签于 过渡 系统没有被广泛使用。。。
  • VLTS基准套件

  • 引用5篇文章[sw09810]
  • 基准套房是贴标签于 过渡 系统(以下简称基准)。每个贴标签于 过渡...系统是一个有向连通图,其顶点称为状态,其边。。。过渡. 有一个独特的顶点叫做初始状态。每个过渡贴标签于...过渡(也称为隐藏过渡或者tau-过渡).VLTS基准已经获得。。。
  • 凯撒

  • 引用8篇文章[sw29138]
  • 详尽地说,图形(也称为贴标签于 过渡 系统,可达图,状态空间等)对应。。。
  • 双刺激子

  • 参考7篇文章[sw02526]
  • 服务)通过比较标记 过渡 系统(Ltss)模给定的等价关系。两种方法。。。
  • 基因系统

  • 引用5篇文章[sw01303]
  • 构建符号工具贴标签于 过渡 系统从B规格。这个叫做GeneSyst的工具。。。
  • XTL公司

  • 引用4篇文章[sw21954]
  • 基于LTSs的函数式程序设计语言(贴标签于 过渡 系统)在BCG(二进制编码…图形)中,打印其列表标签等等。XTL程序被编译和评估。。。
  • 卡米

  • 引用4篇文章[sw28644号文件]
  • FPGA。我们的方法,使用标记 过渡 系统已在一个案例研究中进行了评估,以验证。。。
  • 石化

  • 在26篇文章中引用[sw09784]
  • 过渡 系统(TS)。在最初的TS中,所有过渡同样的标签被认为。。。
  • 图片2lnt

  • 引用2篇文章[sw13368]
  • 大约二十年前系统移动通信。π-微积分。。。用Ltss定义的语义(贴标签于 过渡 系统)尽管有很多理论结果。。。
  • 塞维

  • 引用2篇文章[sw06547]
  • 许多应用,例如在电子投票中系统或匿名在线交易。在本文中。。。在中指定安全协议标记 过渡 系统(LTS)语义模型,它嵌入了知识。。。
  • 巫术崇拜

  • 引用2篇文章[sw09763]
  • 用于生成和操作的工具贴标签于 过渡 系统(LTS)线积分的结果。。。
  • 西加利

  • 1条引用[sw12303]
  • 操纵ILT的基于工具的:隐式标记 过渡 系统(可见。。。
  • 洛伊

  • 引用2篇文章[sw29143]
  • 有限状态机,以及贴标签于 过渡图形用于系统验证。LOEWE目前包含。。。
  • JSXM公司

  • 引用2篇文章[sw15041]
  • 存储器(数据)结构与功能-贴标签于 过渡. 主要优势之一。。。定义的条件下,所有函数之间的不一致系统在测试和模型揭示。。。