SFB verlängert: Weitere zehn Millionen für Erforschung sicherheitskritischer Systeme // Universität Oldenburg https://uol.de/aktuelles/artikel/sfb-verlaengert-weitere-zehn-millionen-fuer-erforschung-sicherheitskritischer-systeme-10
Großer Erfolg für die Oldenburger Informatik: Die Deutsche Forschungsgemeinschaft (DFG) verlängert den vor acht Jahren ins Leben gerufenen Sonderforschungsbereich (Transregio) „Automatic Verification and Analysis of Complex Systems“ (AVACS).
auch von hochgradig vernetzten Systemen automatisch per