11 - 13 Jun 2025
Conference
Check Official Website
El 17º Simposio de Métodos Formales de la NASA se centra en técnicas formales para la garantía de software y sistemas en sistemas críticos, fomentando la colaboración entre la NASA, la academia y la industria.