FORMAL VERIFICATION OF TIME CONSTRAINED UAV TASK ALLOCATION USING MODEL-CHECKING

FORMAL VERIFICATION OF TIME CONSTRAINED UAV TASK ALLOCATION USING MODEL-CHECKING

Bibliographic Details
Main Author: KASAM, SUMAN
Language:English
Published: University of Cincinnati / OhioLINK 2008
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=ucin1201537607

Internet

http://rave.ohiolink.edu/etdc/view?acc_num=ucin1201537607

Similar Items