|
Volumn , Issue , 2006, Pages 319-329
|
Application of verification techniques to UAV autonomy logic processes
|
Author keywords
ACO; Autonomy; UAV; VATT; Verification
|
Indexed keywords
ACO;
AUTONOMOUS UAV;
AUTONOMOUS UNMANNED AERIAL VEHICLES;
AUTONOMY;
BETA TESTING;
COLLABORATIVE OPERATIONS;
DEPARTMENT OF DEFENSE;
INTERFACE ANALYSIS;
LOGIC CONTROL;
LOGIC PROCESS;
MODELING AND SIMULATION;
RECOMMENDED PRACTICE;
SIMULATION PROGRAM;
SIMULATION VERIFICATION;
TRADITIONAL INDUSTRY;
VATT;
VERIFICATION TECHNIQUES;
ACCREDITATION;
ARTIFICIAL INTELLIGENCE;
COMPUTER SIMULATION;
INTEROPERABILITY;
UNMANNED AERIAL VEHICLES (UAV);
UNMANNED VEHICLES;
VERIFICATION;
|
EID: 84867521893
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (1)
|
References (11)
|