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 created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 9 ; visits: 432695