Toward Verification and Validation of Adaptive Aircraft Controllers
Operating element having actuating element having layer structure
Interaktion mit Fahrerassistenz- und Fahrerinformationssystemen im neuen 7er BMW
Rapid Exploration of the Design Space During Automatic Generation of Kalman Filter Code
Automatic Certification of Kalman Filters for Reliable Code Generation
Software V&V support by parametric analysis of large software simulation systems
Verification and Validation of System Health Management Models using Parametric Testing