Une plateforme pour l'enseignement des systèmes temps réel : le sas bancaire sécuriséEric Escande et Eric ZamaïJ3eA, 9 (2010) 0030DOI: https://doi.org/10.1051/j3ea/2011021
