aiT Worst-Case Execution Time Analyzer ermöglicht die Berechnung von Laufzeitschranken für Realzeitsysteme und stellt so sicher, dass Programme unter allen Umständen schnell genug reagieren. Es ...
Die AbsInt Angewandte Informatik GmbH feiert in diesem Jahr ihr 15-jähriges Bestehen. Das Unternehmen hat sich als Hersteller statischer Analysewerkzeuge für sicherheitskritsche Anwendungen in den ...
PARIS — Esterel Technologies SA and AbsInt Angewandte Informatik GmbH have concluded a technology partnership so as to offer an integrated environment for developing mission and safety-critical ...
Since spring 2018, AbsInt Angewandte Informatik GmbH provides a worldwide use license for the static program analyzers Astrée and RuleChecker to automotive supplier Robert Bosch. Astrée proves the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results