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
著者
書誌事項
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
(Lecture notes in computer science, 13466)
Springer, c2022
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Conference proceedings
Other authors: Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Includes bibliographical references and author index