Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}