Introduction
Objectives
Partners
- ABB Corporate Research
- EDF
- PARADES
- ETH Zurich, Switzerland
- CWI, Amsterdam
- Lund University
- University of Siena
VERIMAG People involved
- Oded Maler (Coordinator)
CC
European IST, 2002-2005
View online : Project Web Page
