• 奈特凯特

  • 引用21篇文章[sw16269]
  • 奈特凯特--网络验证的正式系统。本文介绍了一个调查。。。最近的工作进展奈特凯特一个正式的分组交换推理系统。。。
  • SDN安全检查

  • 1条引用[sw39746]
  • 软件定义网络(SDN)可在奈特凯特网络编程语言。在我们的环境中。。。安全行为的特点是奈特凯特不允许从…转发数据包的策略。。。当提供一个奈特凯特描述端到端行为的程序。。。解释给定安全违规的结果奈特凯特程序。。。
  • WNetKAT公司

  • 1条引用[sw25228]
  • 的句法和语义扩展奈特凯特代数。我们演示了几个与WNetKAT相关的应用程序。。。
  • 莫德

  • 引用677篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 批准

  • 在153篇文章中引用[sw07831]
  • 第1.2条:依赖关系中的自动终止证明。。。
  • 共济会

  • 1条引用[sw20024]
  • CoVisor:一个用于软件定义网络的组合管理程序。。。
  • 梅林

  • 引用5篇文章[sw25230]
  • Merlin:一种提供网络资源的语言。这个。。。