Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications. (Un environnement de simulation pour la validation de spécifications B événementiel). PhD thesis, University of Lorraine, Nancy, France, 2013. [doi]
Abstract is missing.