• 阿帕克

• 768篇参考文献[SW04218]
• 这些变体可以看作是合成隐式的阿诺尔迪/兰辛佐斯过程…

• MU分析与综合工具箱

• 109篇参考文献[SW19506]
• 分析与合成工具箱（μ-To工具）是主要开发的函数（命令）的集合。分析与合成控制系统，重点是量化不确定性的影响…最优控制与M分析合成技法这个软件包可以让你使用复杂的…

• 鲁棒控制工具箱

• 138篇参考文献[SW07907]
• 不确定因素H∞与MU-合成技术让您设计控制器，最大限度地稳健…

• 乐高

• 106篇参考文献[SW09685 ]
• 示例，系统类似参数的特征合成宇宙多态性使得证据检验更加有效。

• 绿洲

• 80篇参考文献[SW3000 82]
• 海洋声学与地震勘探合成. 绿洲是一个通用的计算机代码…

• MR和LTV合成工具

• 34篇参考文献[SW05190]
• 合成工具描述MR-LTV工具在以下方面具有命令：H无穷大合成…基于LMI的速率采样数据LTI系统合成方法H∞合成离散时间…使用LMI的系统合成方法系统类型转换（即多速率LTI到离散时间…

• 科恩卡纳德

• 52篇参考文献[SW0494]
• 人脸图像自动分析技术研究合成以及感性研究。Cohn Kanade…

• 小波工具箱

• 52篇参考文献[SW0896]
• 基于小波分析的算法合成降噪和压缩信号和图像…

• 刮匙

• 45篇参考文献[SW13762]
• 用于图像分析和图像合成. 3）BTF（双向纹理函数）数据库与…

• 牡蛎

• 32篇参考文献[SW19629 ]
• 定理证明与程序合成牡蛎。马丁洛夫类型理论提供了一个正式的框架…方法。我们通过描述这一点来说明这一点。合成一个简单的算术表达式求值器…

• 模仿者

• 26篇参考文献[SWO4439 ]
• 秒表。它实现了多种算法，包括安全性。合成，健壮性，非定时语言保存，非芝诺…无死锁参数合成接受周期合成它具有分布式能力…

• 中庸之道

• 33篇参考文献[ SW08949 ]
• 建立独特性，与系统集成合成建立有用性的算法…

• 美国广播公司

• 21篇参考文献[SW12910]
• 公有逻辑域系统合成二值逻辑电路的形式化验证…关注顺序的协同作用合成顺序验证导致两者的改进。

• 石化

• 26篇参考文献[SW09784]
• 石化是一种工具。合成Petri网和异步控制器。石化阅读…

• 帕秒

• 25篇参考文献[SW09610]
• 包括在识别、挖掘和应用方面的新兴应用合成（RMS）以及系统应用…

• 蛤蜊蛤蜊

• 24篇参考文献[SW19614]
• 问题概述，特别是合成软件和硬件系统的验证…

• 裂口

• 17篇参考文献[SW20822]
• 破译，验证和参数工具箱合成混杂系统。我们描述违约…执行近似可达性分析和参数合成. 一个主要的新特点是鲁棒监测。

• 汤姆普

• 22篇参考文献[SW0791]
• 计算。大量的分析和合成现代过程的问题可以写…

• 罗塞塔

• 22篇参考文献[SW10969]
• 面向过程的工具和编程环境合成逻辑程序…

• 雷特

• 20篇参考文献[SW06924]
• 概率分析的MATLAB工具箱合成受各种不确定性结构影响的控制系统…