Knowledge Tree

researcher / Jean-Luc Paillet

Jean-Luc Paillet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Spécifications formelles de systèmes de commande à événements discrets

Modélisation fonctionnelle et preuve de circuits avec LP

Chloe : un éditeur-compilateur de chronogrammes logiques