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

التفاصيل البيبلوغرافية
مؤلف مشترك: SpringerLink (Online service)
مؤلفون آخرون: Leitner, Andrea (المحرر), Watzenig, Daniel (المحرر), Ibanez-Guzman, Javier (المحرر)
الملخص:XI, 320 p. 143 illus., 132 illus. in color.
text
اللغة:الإنجليزية
منشور في: Cham : Springer International Publishing : Imprint: Springer, 2020.
الطبعة:1st ed. 2020.
الموضوعات:
الوصول للمادة أونلاين:https://doi.org/10.1007/978-3-030-14628-3
التنسيق: الكتروني كتاب