WATERS
您将能够在 5 秒内下载。
关于 WATERS
沃特世 - 反应系统中事件的怀卡托分析工具。 该软件将允许用户在图形用户界面中创建有限状态计算机模型,模拟其执行,并将模型检查算法应用于它们。
相关软件
-
XML Template Processor 免费
基于 XML 的文档 ISO 标准(OOXML、ODF、XHTML...)促进了报告生成任务。JAVA 库 XTP ( XML 模板处理器 ) 使用原始数据(XML 格式)填充报表模板(由设计人员创建)。
-
Rule MANager for Snort 免费
斯诺特的规则马纳盖尔一个PHP附加程序,用于打鼾,用于管理多个传感器上的规则集。一个中央斯诺特 Mysql db 。主要功能: 规则集合并组从打鼾 CVS。来自中央数据库的自动传感器更新
-
GraphStream 免费
一个Java库和一组工具,用于快速轻松地操作图形(节点和边缘集)和动态图形。此库的主要特征是它能够管理(创建、编辑、布局、显示)不断发展的图形。
-
Cut Order Plan 免费
切割订单计划是服装工业用于制定切割计划的工具。功能:-*现在它一次处理单个结构。*适用于最小标记的可能性。*选择添加应急和结束位。*创建标记,包括所需的层数和布局数,并且应使用大小。超快高效,在排列过程中不挂起。享受这个免费版本,并告诉我关于所需的更改和错误发现...(如果有任何)... ;)
-
Japano Webapplication Toolkit 免费
Japano 是一个基于 java-servlet 的网络应用工具包和引擎。它提供了简单的网站逻辑和HTML表单创建,并提供动态javascript更新(AJAX)的集成。示例 webapp 便于使用 japano 开始开发。
-
Reboot Control Widget 免费试用
重新启动小部件需要根访问***此小部件将允许您重新启动任何设备,包括特征:重新 启动热启动重新启动至恢复重新启动到引导加载程序关闭电源擦除设备不要移动到 SD 卡,否则卡将消失。**缓慢是由手机而不是应用程序导致的**需要根访问***请不要移动小部件到 SD 卡, 他们将消失。这不是一个应用程序的问题, 它是谷歌设计移动应用程序到 Sd 的方式。"擦除"按钮按下后需要确
-
OpenWiz 免费
OpenWiz 是一个项目,帮助开发游戏公园控股 Wiz 手持机器的开源软件。我们将保持公众对内核源的访问,并提供备用固件、开发工具和文档。
-
JCortex (Neural Networks Framework) 免费
JCortex 是一个完整的解决方案,允许软件开发人员在 Java 项目中创建、教育和使用人工神经网络。分为两个元素:JCortex 框架,ANN Java 框架;和 JCortexBuilder,其图形开发环境。
-
QPythonShell 免费
Python Shell 由 Qt、QScintilla 和 Python C API 直接构建,它具有语法突出显示和通过 Qt GUI 完成的简单代码功能。希望最终能从中构建一个Qt小工具。
-
xacc.ide 免费
xacc.ide 是一个开源 IDE,主要针对 .NET 开发。它有一个用 100% C# 代码编写的代码编辑器,比大多数商业产品都快。