Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

von: Andrea Leitner · Daniel Watzenig · Javier Ibanez-Guzman

Gebunden

ISBN-13: 978-3-030-14627-6

ISBN-10: 3-030-14627-8

Springer · 28. November 2019