
Validation and Verification of Automated Systems
- Alaotsikko
- Results of the ENABLE-S3 Project
- Toimittaja
- Andrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman
- Painos
- 2020 ed.
- ISBN
- 9783030146276
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 21.11.2019
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 320