11 - 13 Jun 2025
Conference
Check Official Website
Le 17e Symposium sur les méthodes formelles de la NASA se concentre sur les techniques formelles pour l'assurance des logiciels et des systèmes dans les systèmes critiques, favorisant la collaboration entre la NASA, le milieu académique et l'industrie.