PROJEKTE

Aktuelle Forschungsprojekte

Die Arbeitsgruppe für Verlässliche Systeme und Software ist zur Zeit an den folgenden Projekten beteiligt. Besuchen Sie die jeweiligen Webseiten für mehr Informationen (in English).


DRESISP, Dependable Renewable Energy Supply in the South Pacific
AVACS, Automated Verification and Analysis of Complex Systems
MEALS, Mobility between Europe and Argentina applying Logics to Systems
SENSATION, Self Energy-Supporting Autonomous Computation
ROCKS, RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

Weitere Informationen werden beizeiten angefügt.