Search Results for "aerospace"
Sort By:
Showing 3 open source projects for "aerospace"
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
2
Genji Scrum-Tool
web based Scrum tool, customizable, feature rich and easy to use
Genji is a web based Scrum tool and task management system. It offers powerful filtering capabilities, many customization features, reports, integration with Jenkins, SVN, Git, Maven, and more. Support for RACI project management matrix and the Getting Things Done method is built in. -
3
OSCAM stands for Open Source CMMI Appraisal Method. The CMMI model is used widely for process improvement and supplier selection mostly in the IT and engineering world, but today also as a business change model. OSCAM is an open source and free alternati
- Previous
- You're on page 1
- Next
