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

著者

    • International Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS)
    • International Workshop on Numerical Software Verification (NSV)
    • Isac, Omri
    • Ivanov, Radoslav
    • Katz, Guy
    • Narodytska, Nina
    • Nenzi, Laura

書誌事項

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

Omri Isac ...[et al.] (eds.)

(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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ