Events

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.