Publications HAL de Changyi Xu de la collection AMPERE

Communication dans un congrès

2018

ref_biblio
Changyi Xu, Eric Niel, Nicolae Brinzei. Discrete event system formal approaches contribution onto global reliability Markov chain generation. 21e Congrès de maîtrise des risques et de sûreté de fonctionnement, λμ21, Oct 2018, Reims, France. ⟨hal-02064997⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02064997/file/lm21_com_2C_4_068_Xu.pdf BibTex

Thèse

2020

ref_biblio
Changyi Xu. Operational dependability model generation. Automatic. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEI129⟩. ⟨tel-03177207⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03177207/file/these.pdf BibTex