Lectures on Runtime Verification: Introductory and Advanced Topics (Lecture Notes in Computer Science, Band 10457)

Verification

von: Ezio Bartocci · Yliès Falcone

Taschenbuch

ISBN-13: 978-3-319-75631-8

ISBN-10: 3-319-75631-1

Springer · 2018