Validation and Verification of Automated Systems Dublin Core Títol Validation and Verification of Automated Systems Autor Andrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman Matèria Energy Editor Springer Nature Data de publicació 2020 Identificador 9783030146283 Font https://doi.org/10.1007/978-3-030-14628-3 Etiquetes Energy Col·lecció Energy ← ítem anterior Ítem següent →
