• 庞夫

  • 10篇参考文献[SW044 16]
  • PUF-佩特里 解开文件夹. PUF构建安全的有限和完整前缀佩特里
  • CUNF

  • 4篇参考文献[SW09288]
  • Cunf:一个工具展开验证佩特里 带有读取弧。Cunf…建筑分析工具展开属于佩特里 带有读取弧。展开代表…指数小于佩特里 展开和最近的工作提出的算法,为他们的建设…
  • 鼹鼠

  • 4篇参考文献[SW09249]
  • 解开文件夹. 本程序实现了ESPARZA/R OMER/Vogler展开低级算法佩特里佩特里 在佩普公司格式,其输出结果展开
  • M网

  • 11篇参考文献[SW09132]
  • 高级佩特里 模型称为M(用于模块化多标记的与众不同的特点…这个模型是允许两个:展开和大多数其他高层一样…
  • vip工具

  • 13篇参考文献[SW1375]
  • 业务流程的概念佩特里 这是基于生成的…P/T-网的运行。即,合成的功能,展开(与各自的验证相结合)和测试…
  • 多UBIC的

  • 1篇参考文献[SW22199]
  • Multiubic:展开基于安全的非迭代模型检验器佩特里 基于CUNF,作品…
  • MATLAB

  • 11446篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • MCGP

  • 14篇参考文献[SW0562]
  • 我们提出MCGP——一种生成和……的工具。
  • 超小卫星

  • 520篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • R

  • 7603篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • CASL

  • 171篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 南德

  • 77篇参考文献[SW03198]
  • NAMD是并行分子动力学代码设计的…
  • PNML

  • 40篇参考文献[SW03257]
  • PNML框架:一个可扩展的参考实现…
  • UCI ML

  • 2918篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…