Le moteur de recherche
des thèses françaises
Paul Caspi
IdRefMots clés
FR
Esterel (langage de programmation)
Programmation synchrone
Sciences appliquées
Systèmes embarqués (informatique)
Temps réel (informatique)
Flots de données synchrones
Preuves déductives
Lustre
Pvs
B
Induction, co-induction
Lustres
Méthodes formelles (informatique)
Répartition
Temps logique
Systèmes robustes
Tolérance aux fautes
Synchronous programming
Distribution
Logical time