Nenzi, Laura.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings /
by:
Nenzi, Laura.; Katsaros, Panagiotis.; Workshop on the Preservation of Stability under Discretization ((2001 :); 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.
Formal methods (Computer science)
Computer networks .
Artificial Intelligence.
Machine Learning.
Computer Communication Networks.
Formal Languages and Automata Theory.
Software engineering.
Machine learning.
Computer science.
Computer Vision.
Compilers and Interpreters.
Algorithms.
Computer Science Logic and Foundations of Programming.
Computer vision.
Computer software