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

Detailseite

Person

Druckansicht

Professor Dr. Walter Vogler

Adresse Universität Augsburg
Fakultät für Angewandte Informatik
Institut für Informatik
Universitätsstraße 6a
86159 Augsburg

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Beobachtbarkeit von halbgeordneten Abläufen mittels Test-Szenarios, Aktionsverfeinerung und temporaler Logik (Sachbeihilfen)
  - Dekomposition von Signalflankengraphen zur Synthese asynchroner Steuerwerksverbünde (Sachbeihilfen)
  - Dekomposition von Signalflankengraphen zur Synthese asynchroner Steuerwerksverbünde (Sachbeihilfen)
  - Optimierung hochsprachen-spezifizierter asynchroner Controller mittels STG-Dekomposition (Kennwort: Optacon) (Sachbeihilfen)
Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik (Sachbeihilfen) bis 5/2020

© 2024 DFG Kontakt / Impressum / Datenschutz