VERDI 2025

Speaker

András Pataricza

Budapest University of Technology and Economics, Hungary

Talks at this conference:
 14:00 Model-driven, logic-supported exploratory dependability analysis

 Overview