Events
Date
Trending
02 - 06 Dec 2024
Conference
Price
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.