Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Wo zu kaufen (1) Eigenschaften
Gesponsert
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 03-05-2026 12:07:26
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods Verification and Validation. Software Engineering Methodologies
Leveraging Applications of Formal Methods Verification and Validation. Software Engineering Methodologies
Produkt anzeigen
Guide to Software Verification with Frama-C
Guide to Software Verification with Frama-C
Produkt anzeigen
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Produkt anzeigen
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Produkt anzeigen
String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Produkt anzeigen
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Produkt anzeigen
Menü