Yuchen Xie. Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains. (Formal Modeling and Verification of Train Control Systems). PhD thesis, École centrale de Lille, Villeneuve-d'Ascq, France, 2019. [doi]
@phdthesis{hal-13262, title = {Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains. (Formal Modeling and Verification of Train Control Systems)}, author = {Yuchen Xie}, year = {2019}, url = {https://tel.archives-ouvertes.fr/tel-02507447}, researchr = {https://researchr.org/publication/hal-13262}, cites = {0}, citedby = {0}, school = {École centrale de Lille, Villeneuve-d'Ascq, France}, }