Systems of Systems Verification
Infotech@Aerospace
01.01.2005
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Verification of Adaptive Systems
AIAA | 2012
|Runtime Verification of Stochastic Systems
AIAA | 2010
|Automated Vehicle Occupancy Verification Systems
Transportation Research Record | 2008
|