Knowledge Tree

researcher / Christophe Junke

Christophe Junke

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus,