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

MLA

Leitner, Javier Ibanez-Guzman, and Daniel Watzenig. Validation and Verification of Automated Systems: Results of the Enable-s3 Project. Springer International Publishing, 2020.

APA

Leitner, L., Ibanez-Guzman, J., & Watzenig, D. (2020). Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project. Springer International Publishing.

Chicago

Leitner, Javier Ibanez-Guzman, and Daniel Watzenig. Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project. : Springer International Publishing, 2020.