Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Author : Guy Katz,Radoslav Ivanov

Paperback

Published : Friday 16 December 2022

ISBN : 9783031212215

Price : €64.34

Description

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.

You may also like ...

Software Verification and Formal Method...

by Guy Katz,Radoslav Ivanov

Paperback

16 Dec 2022

Software testing and verification

€64.34

Extended stock – Dispatch 5-7 days

Ivanov

by Anton Chekhov,Richard Pevear

Paperback

15 Dec 2022

Plays, playscripts

€25.73

Extended stock – Dispatch 5-7 days

Ivanov

by Anton Chekhov

Paperback

21 Jan 2021

Plays, playscripts

€5.84

Extended stock – Dispatch 5-7 days

Vjačeslav Ivanov Und Seine Deutsch...

by Fedor B Poljakov,Philip Gleissner

Paperback

13 May 2019

Literary studies: general

€72.13

Extended stock – Dispatch 5-7 days

Reviews