Knowledge Tree

researcher / Thao Dang

Thao Dang

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle

Calcul d'atteignabilité et synthèse de paramètres pour systèmes dynamiques polynomiaux

Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires

Optimisation des transferts de données sur systèmes multiprocesseurs sur puce

Trajectoires pour la vérification et la commande de systémes continus et hybrides