Volume: Vol-4164 ProfIT AI 2025 | Year: 2025

Paper: « paper18 | paper19 | short7 »

Formal Verification of Aerospace Cyber-Physical System Software

• Yuriy Manzhos
• Yevheniia Sokolova

275-288 PDF