Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Claude Kaiser

Claude Kaiser

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Méthodes et outils de vérification pour les réseaux de Petri de haut niveau : Application à la vérification de programmes Ada concurrents
Découpe de programmes concurrents en vue de leur vérification
Gestion memoire dans perdis, un environnement reparti persistant a grande echelle
Un controleur d'ordonnancement temps reel pour la stabilite de earliest deadline en surcharge : le regisseur