Nenzi, Laura.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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