1. Home
  2. Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and
  • #

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and

54.99 GBP

Share:

Related products

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

89.99 GBP
CartSecure 6480

CartSecure 6480

0.00
Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

49.99 GBP
Introducing Software Verification with Dafny Language: Proving Program Correctness

Introducing Software Verification with Dafny Language: Proving Program Correctness

50.13 GBP
Challenges of Software Verification

Challenges of Software Verification

139.99 GBP
Artech House, Inc. Software Verification and Validation for Practitioners and Managers

Artech House, Inc. Software Verification and Validation for Practitioners and Managers

0.00