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