Verimag

Proofer

PREDIT, 2006-2008

Build and validate a formal model for the environment of a signalling system, including human aspects.

VERIMAG/Synchrone People involved

— Paul Caspi
— Paolo Torrini
— Pascal Raymond
— Erwan Jahier

Partners

  • RATP
  • Alcatel
  • Prover Technology

Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 669608