NASA Formal Methods
Ein kompakter Leitfaden aus dem 10. Internationalen Symposium zur formalen Methoden der NASA, der praxisnahe Algorithmen, theoretische Fortschritte und reale Anwendungsbeispiele für Software‑Verifikation in Raumfahrtprojekten zusammenfasst.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Hugendubel
Gesponsert
Galaxus.de
NASA Formal Methods, Fachbücher von Aaron Dutle, Anthony Narkawicz, César Muñoz
Galaxus.de
29-10-2026 10:19:23
Gesponsert
Medimops DE
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science, Band 10811)
Medimops DE
02-11-2026 22:58:46
SpringerLink DE 
