Axel Polaczek

پژوهشگر · Formal Methods

Austria

معرفی

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

within the broader domains of Computer Science and Systems Engineering.

حوزه‌های پژوهشی

Formal Methods Systems Engineering Computer Science Software Verification Theoretical Computer Science Model Checking

۰مقاله منتشرشده

Axel Polaczek در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

L
Luca Di StefanoVienna University of Technology · پژوهشگر
S
Stefan Alexander SchuppVienna University of Technology · پژوهشگر
E
Eva Maria WagnerVienna University of Technology · پژوهشگر
A
Adrian Rebola PardoVienna University of Technology · پژوهشگر
M
Matthias HetzenbergerVienna University of Technology · پژوهشگر
C
Christoph HochrainerVienna University of Technology · پژوهشگر