Knowledge Tree

researcher / Yanjun Sun

Yanjun Sun

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Consolidation de validation fonctionnelle de systèmes critiques à l'aide de model checking : application au contrôle commande de centrales nucléaires