Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Programmierung und Softwaretechnik

Adresse Oettingenstraße 67
80538 München
Deutschland

GERiT Diese Institution in GERiT

80538 München

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
    (Antragstellerin Majster-Cederbaum, Mila )
  - Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme
    (Antragstellerin Majster-Cederbaum, Mila )
  - Entwurf und (quantitative) Analyse Komponenten-basierter Systeme
    (Antragstellerin Majster-Cederbaum, Mila )
  - Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking
    (Antragstellerin Majster-Cederbaum, Mila )
  - Unterspezifikation in Prozessalgebren
    (Antragstellerin Majster-Cederbaum, Mila )

© 2024 DFG Kontakt / Impressum / Datenschutz