02 - 06 Dec 2024
ICFEM: The International Conference on Formal Engineering Methods 2024
Horarios
09:00 AM-06:00 PM (expected)
Tarifas de Entrada
Check Official Website
Participación estimada
Delegates
Tipo de evento
Conference
Descripción
La Conferencia Internacional sobre Métodos de Ingeniería Formal (ICFEM) 2024 tiene como objetivo unir a expertos en métodos formales e ingeniería de software para empujar los límites del conocimiento actual. Los puntos clave de discusión incluyen:
- Prevención de fallos
- Pruebas
- Sistemas críticos de seguridad
- Inteligencia Artificial
- Y más
No se pierda la perspicaz presentación de Liu sobre características de autonomía y generación de invariantes. Únase a nosotros para mantenerse a la vanguardia de los avances en ingeniería.