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

Author(s)

• 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

Bibliographic Information

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

Note

Conference proceedings

Other authors: Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

Includes bibliographical references and author index

Details

• NCID: BD00499205
• ISBN:
  • 9783031212215
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: x, 204 p.
• Size: 24 cm
• Classification:
  • DC23 : 005.14
• Subject Headings:
  • LCSH : Computer software -- Verification -- Congresses
  • LCSH : Software engineering -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses
  • LCSH : Machine learning -- Congresses
• Parent Bibliography ID:
  • BC04575556