Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5…
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 Internation…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-21222-2
- Collation
- x, 205p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.360 Sof
Search Result
Found 1 from your keywords: Author : Ivanov, Radoslav
Query took 0.00089 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography