Skip to main content
Istituto di Scienze e Tecnologie della Cognizione
Toggle navigation
Institute
Presentation
Mission
People
Locations
Staff
History
Research
Research areas
Groups
Projects
Publications
Databases
Media center
News
Events
Past Events
Video
Library
Information
Catalogues
Resources
Services
Work with us
Vacancies
Tenders
Login
Search
Home
Research
DOVES: Enabling On-board Autonomy: a platform for the Development of Verified Software
DOVES: Enabling On-board Autonomy: a platform for the Development of Verified Software
Project Funding:
Other - International
Funding Source:
ASI Funds Basic Research
Project Timeframe:
31 Dec 2002
to
30 Dec 2003
Group & ISTC Labs:
Planning and Scheduling Technology Laboratory
tabs
Contacts
ISTC Contact Person:
Amedeo Cesta
Project Status:
Completed