1. Home
  2. Software Verification and Formal Methods for ML-Enabled Autonomous Systems
  • #

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

53.49 EUR

Teilen:
Gesponsert

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

SpringerLink DE
53.49 EUR
21-04-2026 20:58:06

Ähnliche Produkte

Leveraging Applications of Formal Methods Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods Verification and Validation. Software Engineering Methodologies

53.49 EUR
Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

59.98 EUR
String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

53.49 EUR
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

39.58 EUR
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

42.79 EUR
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

42.79 EUR
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

42.79 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

70.61 EUR