1. Validation and verification of automated systems : results of the ENABLE-S3 Project /: results of the ENABLE-S3 Project. (2020) Editors: Leitner, Andrea; Watzenig, Daniel; Ibanez-Guzman, Javier Record Type: Book Extent: 1 online resource (xi, 320 pages. 143 illustrations, 132 illustrations in color.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗