Leveraging Applications of Formal Methods, Verification and Validation
Ein Fachband aus dem fünften ISoLA-Symposium in Heraklion, der innovative Einsatzformale Methoden in Verifikation und Validierung präsentiert; umfasst praxisnahe Fallstudien, theoretische Analysen und aktuelle Forschungsergebnisse zur Softwarezuverlässigkeit.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Leveraging Applications of Formal Methods, Verification and Validation
SpringerLink DE
30-04-2026 00:34:31
Gesponsert
Galaxus.de
Leveraging Applications of Formal Methods, Verification and Validation, Fachbücher von Bernhard Steffen, Tiziana Margaria
Galaxus.de
29-04-2026 17:18:47
