Knowledge Tree

researcher / Jacques Jaray

Jacques Jaray

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Développement formel de systèmes automatisés

Une approche formelle pour la spécification et la vérification des systèmes temps-réel