%0 Thesis %1 phd/hal/Xie19a %A Xie, Yuchen %D 2019 %K dblp %T Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains. (Formal Modeling and Verification of Train Control Systems).

@phdthesis{phd/hal/Xie19a, added-at = {2020-07-21T00:00:00.000+0200}, author = {Xie, Yuchen}, biburl = {https://www.bibsonomy.org/bibtex/265db1b7c7aa532cab5afaa9d2ab0d2bb/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-02507447}, interhash = {8ae6eaacd6715e51479f883e041ec2fd}, intrahash = {65db1b7c7aa532cab5afaa9d2ab0d2bb}, keywords = {dblp}, school = {École centrale de Lille, Villeneuve-d'Ascq, France}, timestamp = {2020-07-24T00:52:06.000+0200}, title = {Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains. (Formal Modeling and Verification of Train Control Systems).}, year = 2019 }