IncQuery Labs

This week at the 8th IEEE International Conference on Industrial Cyber-Physical Systems (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

ICPS is a leading international forum for exploring the future of industrial automation, AI-assisted systems, and cyber-physical integration.

In parallel, we joined the annual fPVN General Assembly Meeting, where project partners aligned on goals and next steps for adaptive and secure engineering across industrial value chains.

🔗 More information about fPVN: https://bit.ly/3ZigcB2