Verification of autonomous systems
Éditeur :
Springer International Publishing AG
ISBN :
9783031885457
Date de publication :
11 avr. 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
mso-fareast-language: EN-IN;">Individual aspects of the verification process like requirements and specification development, model tests, and integration tests are mapped into technical challenges related to modeling, testing, abstraction and verification tools.