Inria / Raweb 2010
Presentation of the Project vertecs
previous up next PDF XML

vertecs

Verification models and techniques applied to testing and control of reactive systems

2010 Research Team Activity Report
Rennes - Bretagne-Atlantique
Field : Algorithmics, Programming, Software and Architecture

Theme : Embedded and Real Time Systems
Presentation of the Project-Team - Activity Report in PDF or XML or ePub (test) format

previous
next