Search Results for "mii-tool"
Sort By:
Showing 6 open source projects for "mii-tool"
View related business solutions-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
...Please download the tutorial for step-by-step instructions on installing and using the tool. It is advised to use 32-bit version (Eclipse) associated in the "MGSyn supplementary files", as the 64-bit version will by default demand huge memory, which may lead to Java exceptions. -
2
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !!
-
3
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. ... -
4
OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
CSQL Main Memory Database / Cache
Main Memory Database Cache
CSQL - suite of three products, embedded relational database / stand alone Main Memory Database / updateable bi-directional table level cache. All are exposed via standard SQL interfaces such as ODBC/JDBC. -
6
SimpleTimer is a Java-based, freeware tool, you can use as a countdown timer on your mobile device. This software is compiled and tested on devices with OS Symbian S60 2nd FP3 edition e.g. on NOKIA N70. Should work on other platforms too!!!
- Previous
- You're on page 1
- Next
