Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th
SKU: 135777737283
Price: 76.44 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

76,44 €

NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components. FoMLAS 2022. - VPN: Verification of Poisoning in Neural Networks. - Minimal Multi-Layer Modifications of Deep Neural Networks.

Jetzt bei Ebay:

Zum Angebot *

Format:

Paperback
Language:

English
ISBN-13:

9783031212215
Author:

Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska
Book Title:

Software Verification and Formal Methods for ML-Enabled Autonomou
ISBN:

9783031212215

None:

International Standard : tracked-no signature (7 to 15 business days) 17,51 EUR - Lieferung zwischen 03. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th

Software Verification and Formal Methods for ML-Enabled Auton... - 9783031212215

Formal Methods for Autonomous Systems by Tichakorn Wongpiromsarn Paperback Book

Leveraging Applications of Formal Methods, Verification and Validation. Software

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA,

Mathematical Methods for Artificial Intelligence and Autonomous Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Software Engineering and Formal Methods - 9783030921231

Leveraging Applications of Formal Methods, Verification and Validation. Software

Formal Methods for Software Engineering - 9783030387990

Methods and Applications of Autonomous Experimentation - 9781032314655

Software Engineering and Formal Methods - 9783031171079

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMI

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering - 9783030388027

Formal Methods and Software Engineering - 9783031172434

Leveraging Applications of Formal Methods, Verification and V... - 9783031197550

Formal Methods and Software Engineering: 24th International Conference on Formal

Software Engineering and Formal Methods : Sefm 2013 Collocated Workshops: Bea...

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th

Ähnliche Artikel

Software Verification and Formal Methods for ML-Enabled Auton... - 9783031212215

Formal Methods for Autonomous Systems by Tichakorn Wongpiromsarn Paperback Book

Leveraging Applications of Formal Methods, Verification and Validation. Software

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA,

Mathematical Methods for Artificial Intelligence and Autonomous Systems

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Software Engineering and Formal Methods - 9783030921231

Leveraging Applications of Formal Methods, Verification and Validation. Software

Formal Methods for Software Engineering - 9783030387990

Methods and Applications of Autonomous Experimentation - 9781032314655

Software Engineering and Formal Methods - 9783031171079

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMI

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering - 9783030388027

Formal Methods and Software Engineering - 9783031172434

Leveraging Applications of Formal Methods, Verification and V... - 9783031197550

Formal Methods and Software Engineering: 24th International Conference on Formal

Software Engineering and Formal Methods : Sefm 2013 Collocated Workshops: Bea...

Cookie Hinweis