VERIMAG/Synchrone People involved
— Paul Caspi
— Paolo Torrini
— Pascal Raymond
— Erwan Jahier
Partners
- RATP
- Alcatel
- Prover Technology
Proofer
PREDIT, 2006-2008
Build and validate a formal model for the environment of a signalling system, including human aspects.
