Inria / Raweb 2008
Presentation of the Project VerTeCs

VerTeCs

Verification models and techniques applied to the Testing and Control of reactive Systems

2008 Research Team Activity Report
Rennes - Bretagne-Atlantique
Theme : COM
Presentation of the Project-Team - Activity Report in PDF or XML format


previous
next