Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project. [elektronicky zdroj]

Autor: Leitner, Andrea
Další autoři:
Jazyk: angličtina
Informace o vydání: Cham : Springer International Publishing AG, 2019.
Předmět:
Druh dokumentu: Online; Non-fiction; Electronic document
Databáze: Vybrané kolekce e-knih