Neuheiten AbsInt Analysetools
AbsInt GmbH bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritisch…
AbsInt GmbH bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritisch…
Die AbsInt Angewandte Informatik GmbH feiert in diesem Jahr ihr 15-jähriges Bestehen. "Ein solcher Geburtstag ist Anlass…
Am 1. November 2011 erfolgte der Startschuss für das MBAT-Projekt (Combined Model-Based Analysis and Testing of Embedded…
AbsInt Angewandte Informatik GmbH schließt mit den neu verfügbaren Qualification Software Life Cycle Data Reports (QSLCD…
aiT Worst-Case Execution Time Analyzer berechnet korrekte und präzise obere Schranken für die längstmögliche Ausführungs…
aiT Worst-Case Execution Time Analyzer ermöglicht die Berechnung von Laufzeitschranken für Realzeitsysteme und stellt so…
Esterel Technologies' SCADE Suite Timing Verifier(TM) und SCADE Suite Stack Verifier(TM) in Kombination mit AbsInts aiT-…
aiT Worst-Case Execution Time Analyzer ermöglicht die Berechnung von Laufzeitschranken für Realzeitsysteme und stellt so…