Validation and Verification of Automated Systems

Andrea Leitner, Daniel Watzenig, Javier Ibanez-Guzma

Research output: Book/ReportBookResearchpeer-review

Original languageEnglish
PublisherSpringer Verlag
ISBN (Print)978-3-030-14628-3
Publication statusPublished - 2019

Cite this