This week at ICPS, Ármin Zavada (IncQuery) presented a joint paper with the Critical Systems Research Group at BME:
📄 Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems
Co-authors: Géza Kulcsár, Vince Molnár, Ákos Horváth