Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jacques Voiron
Jacques Voiron
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Concepts structurants pour la mise en œuvre d'applications irrégulières
Vers un support d'execution portable pour applications paralleles irregulieres : Athapascan-0
Argos : un langage graphique pour la conception, la description et la validation des systèmes réactifs
Compilation et vérification de programmes LOTOS
Logiques pour la description de processus et de leurs propriétés : expressivité et décidabilité
Aldebaran : un système de vérification par réduction de processus communicants
Venus : un outil d'aide à la vérification des systèmes communicants