Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
Gespeichert in:
Bibliographische Detailangaben
Weitere beteiligte Personen: Leitner, Andrea (HerausgeberIn), Watzenig, Daniel (HerausgeberIn), Ibanez-Guzman, Javier (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham Springer International Publishing 2020
Cham Springer
Ausgabe:1st ed. 2020
Schlagwörter:
Links:https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
https://doi.org/10.1007/978-3-030-14628-3
Umfang:1 Online-Ressource (XI, 320 p. 143 illus., 132 illus. in color)
ISBN:9783030146283
DOI:10.1007/978-3-030-14628-3