edacentrum verleiht EDA Achievement Award 2021 an Dr.-Ing. Raik Brinkmann von der OneSpin Solutions GmbH
Dr. Raik Brinkmann hat es in seiner Zeit als Gründungsmitglied und später als CEO bei OneSpin Solutions geschafft, aus e…
Dr. Raik Brinkmann hat es in seiner Zeit als Gründungsmitglied und später als CEO bei OneSpin Solutions geschafft, aus e…
Auf der embedded world conference 2010 findet eine technische Präsentation zur formalen Korrektheit des PikeOS Mikrokern…
Millionen von Bankkunden ärgern sich derzeit über fehlerhafte Software auf den Chips von EC- und Kreditkarten. Softwaref…
Die SQS Software Quality Systems AG (AIM: SQS.L, Open Market: ISIN DE0005493514) setzte im Geschäftsjahr 2008 ihr starke…
SYSGO, der führende Anbieter meldet für 2008 ein außergewöhnlich erfolgreiches Jahr und bestätigt damit die hohen Erwart…
Die SQS Software Quality Systems AG (AIM: SQS.L, Open Market: ISIN DE0005493514) hat einen Vertrag zum Kauf der Mehrheit…
Eine breite Palette an Forschungsthemen bietet auch in diesem Jahr wieder der saarländische Forschungsstand (Halle 9, St…
Der future talk ist das zentrale Veranstaltungsforum des future parc, der CeBIT-Forschungshalle (Halle 9, A30). Im Rahme…
Der DFKI-Stand (Halle 9, B37) befindet sich in Nachbarschaft des Bundesministeriums für Bildung und Forschung (BMBF, Hal…
Unter dem Motto "Verified in Germany" präsentierte das DFKI am 17. September Highlights aus dem Bereich formale Verifika…