Search Results for "aerospace"
Sort By:
Showing 2 open source projects for "aerospace"
View related business solutions-
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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.
- Previous
- You're on page 1
- Next
