Language:
English
繁體中文
Help
圖資館首頁
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Isac, Omri.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Software verification and formal methods for ML-enabled autonomous systems5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings /
by: (1998 :); Isac, Omri.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Computer software
Formal methods (Computer science)
Machine learning
Processing
...
Change password
Login
