DOVES: Enabling On-board Autonomy: a platform for the Development of Verified Software

Project Funding: 
Funding Source: 
ASI Funds Basic Research
Project Timeframe: 
31 Dec 2002 to 30 Dec 2003

tabs

Project Status: 
Completed