Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Walter Vogler

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

Projects

As Applicant
- Completed projects
  - Beobachtbarkeit von halbgeordneten Abläufen mittels Test-Szenarios, Aktionsverfeinerung und temporaler Logik (Research Grants)
  - Decomposition of signal transition graphs for the synthesis of asynchronous circuits (Research Grants)
  - Decomposition of signal transition graphs for the synthesis of asynchronous circuits (Research Grants)
  - Optimierung hochsprachen-spezifizierter asynchroner Controller mittels STG-Dekomposition (Kennwort: Optacon) (Research Grants)
As Ehemaliger Antragsteller
- Completed projects
  - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic (Research Grants) to 5/2020

© 2024 DFG Disclaimer / Copyright / Privacy Policy