Die innovativen Softwareentwicklungs- und Verifikationswerkzeuge von AdaCore unterstützen Unternehmen dabei, die Sicherheit automobiler, autonomer und innovativer Fahrerassistenzsysteme zu steigern. Gleichzeitig erleichtern sie Technologie-Upgrades und die Umsetzung neuer Anforderungen. AdaCore, mit Sitz in New York und ...