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

Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Leitner, Andrea (Editor), Watzenig, Daniel (Editor), Ibanez-Guzman, Javier (Editor)
Shrnutí:XI, 320 p. 143 illus., 132 illus. in color.
text
Jazyk:angličtina
Vydáno: Cham : Springer International Publishing : Imprint: Springer, 2020.
Vydání:1st ed. 2020.
Témata:
On-line přístup:https://doi.org/10.1007/978-3-030-14628-3
Médium: Elektronický zdroj Kniha