• SEL4

  • 78篇参考文献[SW15222]
  • 遵循我们的高层抽象规格内核的行为. 这包括传统的设计和实现…
  • 多层螺旋线

  • 31篇参考文献[SW29 626]
  • 代数方式。它的目标是规格系统的行为在一个代数式的过程中…支持μCRL的分析和操作规格. μCRL规格可以自动转换…
  • MCRL2

  • 50篇参考文献[SW01496]
  • 规格可用于指定和分析的语言行为分布式系统…
  • 沙赞

  • 31篇参考文献[SW0924]
  • 应用程序规格复杂经济模型的估计行为去蒙特卡洛…
  • 科斯塔斯

  • 5篇参考文献[SW0987]
  • 摘要行为学 规格语言模拟分布式并发系统。ABS的特点是…
  • 异晶

  • 20篇参考文献[ SW01575 ]
  • 未来的动态行为. MyaMrPH体系结构也涉及其他具体的对下一代的要求…
  • 凯撒

  • 8篇参考文献[SW29 138]
  • 翻译一个Lotos的编译器规格成为可用于探索的可执行代码…与…对应的空间等)行为其中规格. 凯撒本身并不体现核实…
  • STL

  • 76篇参考文献[SW11800 ]
  • 可能导致未定义或怪异的场景行为在运行时。这些场景是相关的…标记以禁用我们的具体的警告…
  • 卡玛

  • 5篇参考文献[SW2077]
  • 具有语言构造的随机过程代数明确地开发的建模和编程系统,…动态调整和组合行为实现具体的目标一个CARMA模型,被称为…
  • XPTO

  • 2篇参考文献[SW15781]
  • 不同的数据类型,只指定具体的 行为对于一些相关的亚型。图书馆可以用法律来扩展具体的XPath的特点和适用于构建…
  • 卡塔戈

  • 14篇参考文献[SW11700 ]
  • 具体的Agent模型或平台用于定义Agent体系结构行为. 然而,卡塔戈…
  • CVPP

  • 7篇参考文献[SW0179]
  • 基于构件的最大模型规格. 最大模型代替实际组件时…行为. 同时行为学属性更抽象、更方便规格目的,结构的…包含表征给定的手段行为学公式由一组结构公式…
  • 阿卡吉尔

  • 6篇参考文献[ SW06338 ]
  • 其中细化语言规格定义数据和行为学并发系统使用的方面…
  • 谦虚

  • 30篇参考文献[ SW01544 ]
  • 建模语言,称为“谦虚”,用于描述行为离散事件系统。语言结合…受大众化和人性化的影响规格语言,如PROMELA,并涉及组合性…
  • 维纳-哈默斯坦基准

  • 26篇参考文献[SW0636]
  • 识别非线性的能力行为而不是太多的噪声抑制特性…处理这个问题的不同方法具体的非线性结构…
  • 休姆

  • 5篇参考文献[SW22188]
  • 具体的元编程特征,同时寻求保证强大的空间/时间行为保持整体确定性。
  • LTSA-MSC

  • 2篇参考文献[SW02696]
  • 支持详述行为基于模型和场景的规格通过提供剧本编辑,行为
  • PVSio网

  • 2篇参考文献[SW11949 ]
  • 他们去看电视规格. 然后他们可以探索行为正式用户的…
  • 迪斯科舞厅

  • 7篇参考文献[SW1093]
  • 正式规格反应式和分布式系统的方法。关注集体行为物体…通过举例说明它的应用规格描述一个简单的现金点服务系统…