DOVES: Enabling On-board Autonomy: a platform for the Development of Verified Software | Istituto di Scienze e Tecnologie della Cognizione

Project Funding:

Other - International

Funding Source:

ASI Funds Basic Research

Project Timeframe:

da 31 Dic 2002 a 30 Dic 2003

Group & ISTC Labs:

Planning and Scheduling Technology Laboratory

tabs

Contatti

ISTC Contact Person:

Stato:

Completed