Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of 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

Electronic Resource

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

Isac, Omri - Personal Name; Ivanov, Radoslav - Personal Name; Katz, Guy - Personal Name; Narodytska, Nina - Personal Name; Nenzi, Laura - Personal Name;

Penilaian

0,0

dari 5

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.

Availability

Inventory Code	Barcode	Call Number	Location	Status
2008000182	EB0004346	511.360 Sof	Central Library (Database Springer E-Book)	Available

Detail Information

Series Title: Lecture Notes in Computer Science
Call Number: 511.360 Sof
Publisher: Switzerland : Springer Cham., 2022
Collation: x, 205p.: Ill.
Language: English
ISBN/ISSN: 978-3-031-21222-2
Classification: 511.360
Content Type: Ebook
Media Type: -
Carrier Type: online resource
Edition: 1
Subject(s): Logic Programming
Specific Detail Info: -
Statement of Responsibility: RTS

Other version/related

Title	Edition	Language
Sistem Monitoring Robot dengan Metode Fuzzy Logic Menggunakan Android		id

File Attachment

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

Comments

You must be logged in to post a comment