Isac, Omri.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Isac, Omri.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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 /
by:
Ivanov, Radoslav.; Narodytska, Nina.; SpringerLink (Online service); Nenzi, Laura.; Isac, Omri.; Katz, Guy.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Machine learning
Formal methods (Computer science)
Computer networks .
Machine Learning.
Computer Communication Networks.
Software engineering.
Machine learning.
Computer science.
Software engineering
Computer Vision.
Computer Science Logic and Foundations of Programming.
Computer vision.
Computer software