Volume: Vol-4122 STAF-WS 2025 | Year: 2025

Paper: « paper9 | paper10 | paper11 »

Enhancing agile model-driven engineering with automated formal verification of BPMN models