Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
AbsInt provides
Examples with "AbsInt provides" and their translation in Duits
AbsInt provides advanced tools and services for embedded systems with a focus on software validation, verification, and certification.
AbsInt bietet innovative Tools und Dienstleistungen für eingebettete Software mit Schwerpunkt auf Validierung, Verifikation und Zertifizierung von Software.
AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an.
AbsInt provides three different tools for WCET analysis which are tailored to three different use cases.
AbsInt liefert drei Softwarewerkzeuge zur WCET-Analyse, die auf unterschiedliche Anwendungsszenarien zugeschnitten sind.
AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software.
Verifikation, Optimierung und Zertifizierung von sicherheitskritischer Software.
Andere resultaten
Workflow The automated flow between TargetLink and AbsInt's tools provides for a seamless integration into the development cycle.
Workflow Der automatisierte Austausch zwischen TargetLink und den Analysatoren ermöglicht eine nahtlose Integration in Ihre Entwicklungsumgebung.
AbsInt Angewandte Informatik GmbH provides advanced development tools for embedded systems, and tools for validation and verification of safety-critical software.
AbsInt offers commercial licenses, provides industrial-strength support and maintenance, and actively contributes to the advancement of CompCert.
AbsInt bietet Lizenzen und Kundenbetreuung für kommerzielle Benutzer an und trägt aktiv zur Weiterentwicklung des Tools bei.
The coupling of Esterel SCADE with AbsInt's aiT and StackAnalyzer provides optimal visibility into the run-time performance of the system by reporting the WCET and stack usage of each design element, at the model level.
Die Kopplung von SCADE mit aiT und StackAnalyzer ermöglicht SCADE- Nutzern auf sehr komfortable Art und Weise einen präzisen Einblick in das Laufzeitverhalten eines Systems durch das Analysieren der WCET und in den Stackverbrauchs eines jeden Designelements auf Modellebene.
Synoniemen voor AbsInt provides in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 4. Verstreken tijd: 180 ms.
