Volume: Vol-4117 ICLP-WS-DC 2025 | Year: 2025

Paper: « paper_dc_11 | paper_dc_12 | paper_dc_13 »

Early Validation of High-level Requirements on Cyber-Physical Systems

• Ondřej Vašíček

7-7 PDF