About
Axel Polaczek is a Researcher in the Formal Methods in Systems Engineering group at the Technische Universität Wien. His work focuses on formal verification techniques and systems engineering methodologies.
His research interests span
- Formal Methods
- Software Verification
- Model Checking
- Theoretical Computer Science
0Publications listed
Find Axel Polaczek elsewhere
Related Searches
You Might Also Like
- LLuca Di StefanoVienna University of Technology · Researcher
- SStefan Alexander SchuppVienna University of Technology · Researcher
- EEva Maria WagnerVienna University of Technology · Researcher
- AAdrian Rebola PardoVienna University of Technology · Researcher
- MMatthias HetzenbergerVienna University of Technology · Researcher
- CChristoph HochrainerVienna University of Technology · Researcher