Systems of Systems Verification
Infotech@Aerospace
2005-01-01
Conference paper
Electronic Resource
English
Verification of Adaptive Systems
AIAA | 2012
|Runtime Verification of Stochastic Systems
AIAA | 2010
|Automated Vehicle Occupancy Verification Systems
Transportation Research Record | 2008
|Verification of NASA Emergent Systems
NTRS | 2004
|