Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Antoine Colin

Antoine Colin

at_id:

orcid_id:

Disciplines:

Computer sciences
Mathematics
Edit Merge See Links

Thesis:

Estimation de temps d'éxécution au pire cas par analyse statique et application aux systèmes d'exploitation temps réel
Théorie des invariants effective : applications à la théorie de Galois et à la résolution de systèmes algébriques : implantation en AXIOM