Universität Münster
Institut für Informatik
Embedded Systems Group

Adresse Einsteinstraße 62
48149 Münster
Deutschland

GERiT Diese Institution in GERiT

48149 Münster

Projekte

Sachbeihilfen
- laufende Projekte
  - Sichere Integration von Lernen in Autonomen cyber-physischen Systemen (Safe ILIAS)
    (Antragstellerin Herber, Paula )
- abgeschlossene Projekte
  - Entwicklung zuverlässiger eingebetteter Systeme in einer modularen Verifikationsumgebung
    (Antragstellerin Herber, Paula )