معرفی
Michele Chiari is a Research Fellow at TU Wien, serving as Principal Investigator for the MSCA PF project CORPORA under the TrustCPS group led by Univ-Prof Ezio Bartocci. His work focuses on formal methods for safety-critical and real-time systems, with a specialization in temporal logic, formal languages, and automata theory.
۰مقاله ثبتشده
Michele Chiari در جاهای دیگر
جستجوهای مرتبط
شاید اینها هم به کارتان بیاید
- MMichele ChiariVienna University of Technology · پژوهشگر
Michele ChiariMax Planck Institute for Software Systems · پژوهشگر- EEzio BartocciVienna University of Technology · استاد
Michele ChiariInria · پژوهشگر
Ezio BartocciVienna University of Technology · استاد- LLuca Di StefanoVienna University of Technology · پژوهشگر