Forschungsprojekt CAVER

Vergleichende Analyse und Verifikation für verteilte sicher­heitskritische Systeme (5 Kooperationspartner, Leitung: Universität Oldenburg). Im Projekt werden unter anderem Methoden zur Spezifikation und Verifikation von realzeit-basierenden nicht-linearen Systemen untersucht.

Beteiligte(r) Wissenschaftler:apl. Prof. Dr. Norbert Müller

Förderer: DFG