Inria / Raweb 2003
Project: VerTeCs

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

VerTeCs

2003 research project activity report
Rennes
Theme: 1C
Presentation of the project - Activity report in PostScript, PDF or XMLformat


previous
next