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 August 11, 2022, Proceedings /
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/Au...
| Corporate Authors: | International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems Haifa, Israel) |
|---|---|
| Other Authors: | International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, Isac, Omri., Ivanov, Radoslav, 1950-, Katz, Guy., Narodytska, Nina., Nenzi, Laura., SpringerLink (Online service), International Workshop on Numerical Software Verification |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2023.
Cham : 2023. |
| Physical Description: |
1 online resource (213 pages). |
| Series: |
Lecture notes in computer science ;
13466. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |