Charles Pecheur

• Formal Methods for Industrial Critical Systems
• RIACS workshop on the verification and validation of autonomous and adaptive systems