02 - 06 Dec 2024
ICFEM: The International Conference on Formal Engineering Methods 2024
Horaires
09:00 AM-06:00 PM (expected)
Frais d'entrée
Check Official Website
Participation estimée
Delegates
Type d'événement
Conference
Description
La Conférence Internationale sur les Méthodes d'Ingénierie Formelles (ICFEM) 2024 vise à réunir des experts en méthodes formelles et en ingénierie logicielle pour repousser les limites des connaissances actuelles. Les points clés de discussion incluent :
- Prévention des défauts
- Tests
- Systèmes critiques de sécurité
- Intelligence Artificielle
- Et plus encore
Ne manquez pas la présentation perspicace de Liu sur les fonctionnalités d'autonomie et la génération d'invariants. Rejoignez-nous pour rester à la pointe des avancées en ingénierie.