Detailseite

Professor Dr. Michael Leuschel

Adresse Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Arbeitsgruppe Softwaretechnik und Programmiersprachen
Universitätsstraße 1
40225 Düsseldorf

Projekte

Als Antragsteller
- laufende Projekte
  - Validierung für schrittweise Verfeinerung (Sachbeihilfen)
- abgeschlossene Projekte
  - Gerichtete und parallele Validierung von abstrakten Spezifikationen (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Michael Leuschel

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Michael Leuschel

Zusatzinformationen

Textvergrößerung und Kontrastanpassung