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

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

69.54 EUR 61.34 EUR 12% Off

Teilen:

Ähnliche Produkte

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
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)

74.89 EUR
Leveraging Applications of Formal Methods Verification and Validation. Software Engineering

Leveraging Applications of Formal Methods Verification and Validation. Software Engineering

58.84 EUR
Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

53.49 EUR
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
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

35.00 EUR
Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

53.24 EUR
Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

53.49 EUR